Travis: some tweaks and updates