Build test executables only on 'make check'

This should hopefully make the install process less painful, as now the use of Check is optional for first-time users. Check must still be installed, though.