* a different method for getting the version for version.html, which
  should give nonzero exit status even if /buttonmen/.git/FETCH_HEAD doesn't exist
* stop installing version.html at all
Merge pull request #235 from cgolubi1/234_version_fix

a different method for getting the version for version.html, which should give nonzero exit status even if /buttonmen/.git/FETCH_HEAD doesn't exist