[ 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