Renamed some test files.
Removed agda2atp version from TPTP files.