Moved external libraries out of the src/ directory.

Also fixed the tests so that they now compile. To make
the tests, run:

   $ make src/test.native
   $ _build/src/test.native

Currently only the tactics tests are failing. This is
because they have not been updated to HHW sequents
as part of the 2.x migration.