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