Relocate policy file
Documentation update
Improve ACID behaviour
Improve Prolog exception handling
Improve nullpointer handling
Fix logger
Beautifying the command line
Misc cleanup