Added jtermer: Java version of mintermer.
Implemented so far: TruthTable class and some basic tests.