[ new ] Quote primitives with clauses to FunDef instead of Primitive.

To make it possible to inspect definitions of functions like _+_.
Fixed Haddock links to modules

From Haddock user guide: Linking to a module is done by surrounding
the module name with double quotes.
Fixed Haddock links to modules (missing changes)
Merge branch 'maint-2.4.2'
[ prototyping/mixfix ] Relaxed some constraints to compile with ghc-7.8.
[ prototyping/mixfix ] Print error when benchmarks is called wrongly.
[ Sharing ] disableDestructiveUpdate in interaction and tryConversion.
[ Parser ] Refactor: Removed two uses of 'flip'.
Merge branch 'maint-2.4.2'

Conflicts:
	src/prototyping/mixfix/benchmarks/Test.hs
	src/prototyping/mixfix/benchmarks/mixfix-benchmarks.cabal
[ interaction test ] Updated output after disableDestructiveUpdate.
[ issue 1293 ] Renamed qualified name
[ issue 1293 ] Using monadic pretty printer combinators
[ issue 1293 ] Cosmetic changes
[ issue 1293 ] Cosmetic changes
[ issue 1293 ] Renamed functions

showArg -> prettyArg
showPat -> prettyPat
[ issue 1293 ] Added Pretty instances
[ issue 1293 ] Replaced show function by pretty[TCM|Show]
Merge branch 'maint-2.4.2'

Conflicts:
	src/full/Agda/TypeChecking/Errors.hs
Add UHC Backend (experimental)
Add new naming API, try to use haskellish names if possible.
Split up Compile monad into multiple smaller ones.