Push to github on travis