Added the TPTP format to Diabelli.
Added some documentation.
Added a 'retain folder' file for git.
Minor updates to a number of projects.
Big Rename.
Big Rename.