Add link to issue tracker
Only link to issue tracker if it is active
Merge branch 'gh-pages' of https://github.com/fingolfin/GitHubPagesForGAP into gh-pages