Tomcat 8 is out of beta. Promote it from devel to stable status in place of Tomcat 7.
Add formula for Tomcat 7.