Refining Travis Github push configuration