A Python library for manipulation of Doom WAD files