[ doc ] Updated CHANGELOG.
[ release ] Removed -Werror.
[ release ] Added tag: 2.4.0.2 to source-repository this.
[ release] Restored -Werror.
[ release ] Bumped version to 2.4.0.3.
[ release ] Added 2.4.0.3 section to CHANGELOG.
Merge branch 'maint-2.4.0'

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