#1409: using gitbook for documentation. See how to install and run/build at https://github.com/GitbookIO/gitbook