Improved git post-receive hook script

* messages now contain the name of the user who pushed the changes
* Exception is raised on authentication failure
* code style