Add umask definition for deploydev script

As @loicgasser found out, our jenkins user as rightfully a more strict umask. This led to permission problems in our main directory when jenkins updates the build using the ./deploydev.sh script.

Hopefully, with this fix, the correct umask is used by Jenkins.