tomcat: option to download full documentation

 - Added option to download and install tomcat docs locally for offline
   reference. Get tomcat 8 docs if --devel is specified

Closes #24049.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>