[ LaTeX-backend ] Document font change in the release notes.
[ issue 1356 ] NameKind commands in agda.sty enforce no math spacing

Cherry-picked from https://github.com/agda/agda/commit/90c8becd4b8d22fabfa9c76deabc77f0402e0e53.
[ issue 1356 ] Added missing documentation
Merge branch 'maint-2.4.2'

Conflicts:
	src/data/agda.sty
[ release notes ] Minor changes
[ Issue 1357 ] Fixed by eta-expanding more projected variables.

Also those that are not only projected, but also applied to stuff (after
the projections).
[ bench ] Comparing std-lib bench for ghc-7.6 with ghc-7.8.
Merge branch 'maint-2.4.2'

Conflicts:
	src/full/Agda/TypeChecking/MetaVars.hs
	test/interaction/Issue1353.out