docs: mock cffi module to be able to build documentation without libsmi

We have to modify a bit `mib.reset()` since mocking is not sufficient.
docs: use flask theme even for RTD