add __getstate__/__setstate__() methods for pickling Parameters