Merge pull request #6283 from RosettaCommons/roccomoretti/interactive_release_info
[Foldit] Add Release ID to in-game panel.
Since we identify the Releases by number in the release notes, it would be really convenient to have some way of checking what the release number of the client actually is (versus the build ID).
RELEASE NOTES: Add the release number (corresponding to the release notes page) to the options panel.