Moving library documentation from doc to docs

This hopefully allows github serve library documentation without using
separate gh-pages branch. More details: https://help.github.com/articles/configuring-a-publishing-source-for-github-pages/

Author: aaltat