Use /usr/bin/env bash instead of /bin/bash for scripts

ci/manual_machine_bootstrap.sh

@@ -1,4 +1,4 @@
-#! /bin/bash
+#! /usr/bin/env bash
 
 # This script is used to manually prepare an Ubuntu 16.04 server for DetectionLab building
 export DEBIAN_FRONTEND=noninteractive