Restored the XML default in code.

Moved PICKLE as the default filetype to the configuration.
Effectively, the behaviour remains the same (pickling). However,
it is nicer to push the PICKLE option out from the hard-wired default,
since XML is more human-accessible.