Kill StateSpaces when switching away from them
Kill StateSpaces when switching away from them

This should fix old probcli instances hanging around even after their
machine has been reloaded/closed.

bendisposto/prob2-ui,bendisposto/prob2-ui,bendisposto/prob2-ui,bendisposto/prob2-ui