Closes #1136: Switching revision number

 - added a revisions_history attribute to repo_browser
 - added a select in repo_browser
fix i18n
removed old form tag
Merge pull request #1142 from GhiGt/issue-1136

Closes #1136: Switching revision number