A dump tool for w3ml