[ 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 _+_.