Added travis user agent for github publish