Use sqlite instead of kryo for persistence

[olepoeschl]

That way, solutions for a specific constellation can be entered and safed without having to rewrite the whole file. Hence, it's faster.