Change links in the Docs menu item.
This fixes Redmine issue #2141.

Authors:    Haotian Jiang <infijht@gmail.com>, Scott Rohde <srohde@igb.illinois.edu>
Merge branch 'MarvinJ-master'

 to explain why this merge is necessary,