Download page should not link to unreleased code

The download pages currently link to the git code repository.

Whilst the instructions show how to check out a particular tag, this also gives access to the rest of the repo, i.e. to non-released code.

Links to code repos should only be published on pages intended for developers.