Fix travis build: invoke apt-get update before adding new repos