remove .agda files