WWW: script to insert a banner div at top of body (#535).
Merge branch 'develop' of github.com:igraph/igraph into develop
WWW: faster R docs generation (#535).
WWW: CSS file for pygments added (#535).
WWW: fixed broken urls in docs (#535).