[ 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'