The same SPICE kernels can be loaded many times

[Mark2000]

If one python process creates multiple basilisk simulations, the same SPICE kernels will be loaded for each of them. This can hit the 5000 kernel spice limit. We should protect from having SPICE reloading the same kernel multiple times.