[ make ] added program-suffix to Makefile

When building maint you don't want to overwrite your installed
dev agda.
Test case for (non-)reduction of non-termination checked funs
Mark NO_TERMINATION_CHECKed definitions as non-terminating
Fixed test cases using NO_TERMINATION_CHECK
Error message failing test
Documented NO_TERMINATION_CHECK fix
Updated error message source locations
Merge branch 'maint-2.4.0'
Don't add --program-suffix on 'master'
More ignores
Merge branch 'maint-2.4.0'
Recursive records must now be declared inductive or coinductive.
[ build ] Removed -j3 flag from Makefile.
[ issue 1226 ] more precise error reporting
[ build ] Merged conflict in Makefile
[ refactor ] Lens for oldInteractionScopes
[ build ] Removed dead Packaging modules from Agda.cabal.
[ auto ] Commented entry point.
[ issue 1226 ] Fixed by setting oldInteractionScopes for auto.
[ issue 1226 ] Test case.