[IMP-dev] doc dependence on lib

doing "scons doc" builds the kernel libraries and python wrapper which it would be nice to avoid as those can take a long while on a laptop. I loose the dependency trail at build/include :-)