GrubHub leaves door open for possible merger