TOOLSDOC-304: Updating docs.jboss.org/tools/ web page