Removed files related to agda2atp.