Added travis definition