Python tools for the w3g file format