Deploy script

Added a deploy shell script that sets the umask so that the files affected by an update get group write permissions before a git pull. This to make it possible for another group member to do a pull later on.