Display HEAD-commit-id in footer for development.

This should *solve* issue #363.

Maybe @corny or @nning could take a look at this and see if it conflicts with some machinespecific
settings on/in *develop.ontohub.org* and the other deployment branches.