.gitignore initial
get_revision_id improved: use git tags, only update revision-id file on revision change, add github links to rundb online page