[ fix ] rm agda.sty (agda --latex produces it)