Minor bugfixes. Few performance optimisations in grounding.
Library restructure/refactoring
minor imporvement to clause grounder
test file
start implementing new version of the clause grounder
KBCompilerCLI modification:
New option added in order to convert function predicates back to actual
functions and replace them in the corresponding clauses.
LoMRF update:
- KBDifferenceCLI is a new console tool for knowledge base comparison
 (under development - version 0.01).
- New print into MaxWalkSAT algorithm (new option value is required).
- Modified code (currently commented) in order to produce negative weight
  unit clauses.
InferenceCLI modification:

-Option added for MAP inference in order to specify the output: 0/1 results for all
 query atoms or only positive query atoms.
LoMRF external libs added:
- Oscar wrapper used for Integer Linear Programming
LoMRF new MAP inference method, using ILP (Integer Linear Programming)
- Experimental (Tested only on yale shooting scenario)
- Cannot handle noisy datasets yet!
lomrf script update, in order to include LP solvers libraries
LoMRF update:
- Minor changes on ILP method (for development at home) :P
LoMRF ILP inference minor modifications:
-Print result on file
-Check solver solution state
LoMRF ILP modifications:
-Debug messages
-Translation fix
-Roundup procedure first implemenation (needs to be fixed)
ILP solver experimental code
partial merge
multiple changes improvements to ILP
minor class desciption update
test
Merge remote-tracking branch 'origin/experimental' into vagm/tmp

Conflicts:
	src/main/scala/lomrf/app/KBDifferenceCLI.scala
	src/main/scala/lomrf/mln/inference/ILP.scala
	src/main/scala/lomrf/mln/inference/MaxWalkSAT.scala
	src/main/scala/lomrf/mln/model/mrf/MRF.scala