bsd.hackage.mk: Add entry for idris