Auto-scroll in devel-docs table of content (thanks @harding)
Merge pull request #632 from bitcoin/devdocautoscroll

Auto-scroll in devel-docs table of content