Allow selection of axioms.
Merge pull request #1434 from eugenk/1424-allow_selection_of_axioms_for_proving_in_hets_server

Allow selection of axioms.