[ latex-backend ] Adding AgdaFixityOp

- The identifiers whose fixity is being declared are now encapsulated
  by \AgdaFixityOp{}s.
- Added corresponding test cases
Merge branch 'master' of https://github.com/agda/agda
Merge branch 'master' of https://github.com/agda/agda
Merge pull request #21 from gallais/master

[ latex-backend ] Adding AgdaFixityOp
[ 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'
Merge remote-tracking branch 'upstream/master'