The version switcher dropdown box mentiones releases, however currently
it refers to "master" which is not a release at all. I think we could
use the wording "version" which is more generic.

Archived versions instead is a link to releases on github. Changing the
wording accordingly.
Signed-off-by: NAndrea Frittoli <andrea.frittoli@gmail.com>