Add build instruction and short into to README
Remove cli project
Remove persistend_map tests
Disable procedure.refine test until function is needed
Remove dead sat code.
Remove dead code from gui project.
Remove old graph QML code