[ release notes ] fixed final TODO
[ release ] updated version numbers
[ release ] copied release notes to CHANGELOG
[ cabal ] changed README to README.md in cabal file
[ test ] updated version number in test output
[ release ] bumped version numbers to 2.4.3
[ release ] bumped maint version number to 2.4.2.1
[ build ] added program suffix cabal option
Merge branch 'maint-2.4.2'

Conflicts:
	Agda.cabal
	mk/paths.mk
	src/data/emacs-mode/agda2-mode.el
[ test ] updated version numbers in interaction tests
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 remote-tracking branch 'upstream/master'

Conflicts:
	Agda.cabal
	mk/paths.mk
	src/data/emacs-mode/agda2-mode.el