Stop Z3 zombies and add support for str.++

Created by: jad-hamza

The str.++ fix is for https://github.com/epfl-lara/inox/issues/144 but I couldn't test it because the issue is hard to reproduce and only happens randomly.

The interrupt() fix should prevent the thousands of processes we get in the test suite :)