fix server startup issues
add server launcher script
make client workers terminate gracefully
make server run script executable
remove a never matching clause