MOD: fix bash syntax

tool/start-server.sh

@@ -14,7 +14,7 @@ while getopts "p:" OPT; do
     esac
 done
 
-if [ "$OPT" == 'dev' ]; then
+if [[ "$OPT" == 'dev' ]]; then
     java -jar -Djava.security.egd=file:/dev/./urandom -Dspring.profiles.active=$profile target/mooctest-site-server.jar
 else
     screen -dm java -jar -Djava.security.egd=file:/dev/./urandom -Dspring.profiles.active=$profile target/mooctest-site-server.jar &