A Python interface to OpenFst