Bugfixes for Docker and Test Improvments

Fixes problems with the docker-based version of the solvers, fixing memory leaks and other problems.

Also, adds a Smoldyn smoke-test.