Release 0.9.3.4
utils/get_ubuntu_mirrors.py: Drop, its unused and broken

The Ubuntu wiki does not include a list of mirrors anymore.o