- added: skip dereferenced tags in git (tags ending ^{} )

- added: modal infobox in build page if you switch the branch
- added: git uses a cache for taglist and revision infos (ttl is 5 min)
- cut commit message a bit: do not show * [new branch]