Renamed theorem proving module to atp.
Changed the name of the module to be more adequate to the subsystem maning.