[travis] use xcpretty as xctool does not work