make eDVBResourceManager accessible from python (needed for allocate a raw iDVBChannel)