docs: Updated URLs to use GitHub + minor tweaks

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
docs: Recompiled with more recent version of Docutils

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>