Add agda and idris mailing lists and remove python ones