Changed dumpHML to receive any file arguments
Added printing of unknown records; ignoring COMPATIBLE_DOCUMENT for now