[Agda/f20] (4 commits) ...BR emacs now instead of emacs-haskell-mode

[Jens Petersen]

Summary of changes:

  dee2bbc... replace ghc_docdir by _pkgdocdir (*)
  1c2e957... compile agda2-queue.el; exclude armv7hl since TemplateHaske (*)
  f970b43... emacs agda-mode no longer needs haskell-mode (*)
  f518914... BR emacs now instead of emacs-haskell-mode (*)

(*) This commit already existed in another branch; no separate mail sent