First source code release

I have uploaded the first source code release. Works as a basic hyperresolution theorem prover in java for FOL without equality. Includes work towards porting the code to Scala. I expect future work to be done in Scala.

The code is also a neat way to compare Scala and Java ;-)

Licenced under QPL. If anyone asks me I will *consider* alternative licences.

--Patrick