Clean now removes tex and .gz files.