Bug#823332: dogtag-pki: Transition to Tomcat 8

[Emmanuel Bourg]

Source: dogtag-pki
Severity: important

Debian Stretch will not include tomcat7, dogtag-pki will have to migrate to 
tomcat8.