Initial cut at a dump utility; binary-based for now. Only very lightly tested; in particular, the times saving functionality is completely untested at present. Restore functionality provided by a shell script written as part of the dump process.