Makefile enhancements

Exposes a "make check" (per GNU standards) and becomes tolerant to presence or absence of a _local_ mocha.