Fixes #159. * python/spot/ltsmin.i: Here. * python/spot/impl.i: Disable duplicate instantiation. * tests/python/ltsmin.ipynb: Test it.