Add `WriterT` and `ExceptT` monad transformers

[jespercockx]

As the title says, these monad transformers are widely used in Haskell so it would be nice to have them available in Agda as well. They should also get corresponding instance declarations (see #559 and #1332).