Make the server executable
Merge branch 'master' into important-documents