imapfilter: update from 2.5.6 to 2.5.7
AgdaStdlib: update to 0.9

This should have really been updated with Agda itself.
agda-iowa-stdlib: mark as broken

The recent update of Agda breaks this, including the most recent SVN
checkout. I notified the author but marking as broken until a fix is
committed.