How to remove tomcat7-docs from Debian Unstable (Sid)