Adds abstract debugging functionality

Usability improvements and bug fixes

Adds analysis abort and show CFG functionalities

Uses Goblint's server mode and adds incremental functionality