add short git hash to name of devel disk images to get different names for devel versions without manual intervention
Merge remote-tracking branch 'github/build-bot-master' into bleeding-edge-master
2014.11.17-19.00