minor cleanup
removing "packageinfo" from classpath built by eclipse
fixing the problem with guice injection of the propositional logic parser
updated build+local OSGi repository