Make project buildable also without Git

If Git is not found, revert to just dumping the label into the code.
(We currently have no way of getting the SHA into the tarball).
Merge pull request #293 from rolk/293_wogit

Make project buildable also without Git
Merge remote-tracking branch 'upstream/master'
Merge branch 'master' into devel