add short git hash to name of devel disk images to get different names for devel versions without manual intervention