Exported new functions. Added a function to get timestamp from the dumpfile name: also for compressed files.