[ 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