Add a commit-check rule to the Makefile

Add a commit-check rule to the Makefile

commit-check is a special make rule to run all sort of time-consuming
checks before committing (like building the documentation and run the test
cases). This is ideal for a git pre-commit hook, to avoid committing
broken stuff.

Now make all (and default) does nothing, because is a source-only library.