Add support for agda2-mode

agda2-mode is a major mode for the Agda programming language which is inspired by Haskell. The attached screenshot shows two buffers, the one on the right uses agda2-mode and the one on the left uses haskell-mode.

I haven't yet assigned copyright to the FSF (will do after writing this MR :-)), I will ping you once the process as finished.