Updated sbt to 0.12.0, added dependency on a eclipse-project-generating sbt plugin.
Fixed a couple of test dependencies for Eclipse to work. Tests through sbt still don't work.
Removed Eclipse projects and Maven build files
Moved BooleanFormulae tests to test/ directory
Changed directory hierarchy to reduce the number of directories