agda: disable hyperlinked sources for this build

hscolouur fails with lots of errors because it cannot locate all source
files: <http://hydra.cryp.to/build/181404/nixlog/2/raw>.