added a shebang to the server-*.py scripts, set execution bits