A few tools for working with wordpress export files (WXR)