Some text changes in the comments etc.
Added the TPTP format to Diabelli.
Added some documentation.