Python module (C extension and plain python) implementing DAWG