How to remove antlr4-doc from Debian 9 (Stretch)