Change menu links to be template {% url ... %} tags

We do the template bit so the release name will change when eg master
and <commit_id> refer to the same commit, and we only have one exported
html file on disk.  This way the release_name from the view context data
will be used.