More logical approach to switching axiom systems

 - documentation update required!
Refactor Prover / AxiomSystem

 - Make Prover take an AxiomSystem
 - Make LuaTheory print its prover's AxiomSystem
 - Get rid of Prover / SimpleProver / ConfigurableProver duplication