GumTree: A syntax-aware diff tool