travis: install std2 from an unufficial ubuntu ppa