[ hTags ] Bump hTags version

I've dropped support for GHC < 7.2.
[ test ] use $(AGDA_BIN) instead of agda in make epic-test
Merge remote-tracking branch 'origin/maint-2.4.2'