Remove obsolete Agda-executable package; the compiler is not part of 'Agda'.