Added travis options