Updated .gitignore in order to manage KDevelop confg files.
New file used to govern the debugger asm format.
Several changes in the direction of logging the tree structure to a POSTGRESQL datatbase.
rab_solver now logs correctly ....