Separate TESLA tests from TESLA build.

We should be able to distinguish test failures from build failures; don't include the 'test' target in the default 'ALL' target.