[ghc-Agda/el6] (10 commits) ...change prof BRs to devel

[Jens Petersen]

Summary of changes:

  e53811a... import (#710031) (*)
  f947070... adjust library license tag to include BSD also (*)
  76b37ac... allow building with mtl-2.1 (*)
  d576a11... add Agda-2.3.0.1-mtl-2.1.patch (*)
  82cd1ad... rebuild (*)
  93e3504... allow building with haskell-src-exts-1.13 (*)
  ccf62a3... build with haskell-src-exts-1.13 using cabal-tweak-dep-ver  (*)
  8d12d8f... fix agda2-version in agda2-mode.el (*)
  eaadd4a... fix agda2-mode.el agda2-version properly with %version (*)
  6b0abd3... change prof BRs to devel (*)

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