[debian] gets rid of python-pymor-base package