[ issue 1156 ] Fixed

I centralised all the stuff related to Control.Monad.Except from
the mtl package in the module Agda.Utils.Except.