Travis: fix git revision printing