How to remove lifelines-doc-sv from Debian 9 (Stretch)