remove Agda support (the intention is that the Agda compiler should do the job of ActiveHs
 for Agda files)
update for newer dependencies
improve logging; update dependencies