Deploy master branch to bitmask.net servers

After we have a fully working dev.bitmask.net development environment, we need to switch bitmask.net to use the master branch.

(from redmine: created on 2013-04-10, closed on 2013-04-16, relates #1138 (closed), blocks #2178 (closed))