unit, integration, and regression tests can now share code as they are
compiled together.

Unit tests are now in package leon.unit and shared code lives in
leon.test.