[ 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