Fix find-provision and make unit tests pass again.
Add tests to makefile.

Also tweak travis.yml to put Racket executables in PATH.