Fix install_server.sh

Fix various scripting errors, relating to [ !$string ] always evaluating
to false.
Also fix an echo statement that missed the -e flag, so that \n
characters ended up in the file.