DEVELOPER-1062 Fix docs definition for JBDS 8.0

The list of docs was relevant to JBDS 7, but was not updated for 8.0.
FYI, the version number bit is automatically added by the site build. so "Release_notes" is enough.

But don't worry about it as https://github.com/jboss-developer/www.jboss.org/pull/609 already fixed it.