Dev Guide: replaced "GitHub Issues" section with text about using the forum for issues. Updated
redirected link.
Dev-Guide: changed section on GitHub issues to reference the forum. (GitHub issues turned off.)
Merge pull request #1798 from pziegfeld/2014Aug_linkcheck

Changed Dev Guide section on GitHub issues to reference the forum
Merge remote-tracking branch 'origin/dev' into dev