The manual for difftastic, the structural diff tool