Merge pull request #6484 from RosettaCommons/interactive/band-opts [Foldit] Restore band push/pull in solution files and menu.