Merge pull request #5851 from RosettaCommons/joshmiller/clean-options-gui [Foldit] Clean and Extend Options GUI Release notes: - Improved the options menu