travis: install cover tool