Add a manual nmap scan

Because of my own network structure an automatic nmap scan is not useful. However, to be able to perform such a scan if necessary, I have added a tab with a manual nmap scan in the DeviceDetails.

front/php/server/nmap_scan.php

@@ -0,0 +1,10 @@
+<?php
+
+$PIA_HOST_IP = $_REQUEST['scan'];
+exec('nmap '.$PIA_HOST_IP, $output);
+echo '<pre style="border: none;">'; 
+foreach($output as $line){
+    echo $line . "\n";
+}
+echo '</pre>';
+?>