Release OxiDD 0.11.1

Bump hugealloc version

This is necessary due to the newer allocator-api2 version. Should
probably have been 0.2.0 instead, but this is too late for the OxiDD
0.11 release.

Release oxidd-parser 0.4.1

Release OxiDD 0.10.0

Fix Python workflow

Bump versions

Hotfix: remove unfinished `BDDFunction.export_dddmp()` in Python

Adjust Python distribution

Bump version of C/C++ interface