Improved handling of keyboard interrupts
Added support for pickling with dill, and generalized the serializer interface, so replacing the serializer is easy. Removed deprecated code from settings