Build and install geni-lib documentation as part of the manual
Since we are at times (right now is a very long one) diverged from the upstream geni-lib, we should host our own copy of the documentation for it.
Since we are at times (right now is a very long one) diverged from the upstream geni-lib, we should host our own copy of the documentation for it.