Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
[ hTags ] Add option to extend include path

And update Makefile accordingly.
Merge branch 'maint-2.4.2'
Merge remote-tracking branch 'origin/maint-2.4.2'

Conflicts:
	src/full/Makefile
	src/hTags/Main.hs