[ release ] bumped version numbers to 2.4.3
Merge branch 'maint-2.4.2'

Conflicts:
	Agda.cabal
	mk/paths.mk
	src/data/emacs-mode/agda2-mode.el
Merge branch 'maint-2.4.2'
[ test ] updated version numbers in interaction tests (again)
[ release ] removed 2.4.2 release notes and replace by 2.4.4 template
[ release ] more updates to release instructions
Merge branch 'maint-2.4.2'
Merge branch 'maint-2.4.2'
Merge branch 'maint-2.4.2'
Merge branch 'maint-2.4.2'
NameKind commands in agda.sty enforce no math spacing
Merge pull request #12 from joaopizani/master

Issue 1257: Agda.sty in XeTeX typesets identifiers in math mode, causing weird spacing
Merge ../agda
Merge ../agda
Merge ../agda
Merge ../agda
Merge ../agda
Merge branch 'master' of github.com:agda/agda
Merge branch 'maint-2.4.2'
Merge branch 'maint-2.4.2'