Get undo-tree from official git repo
Merge pull request #1310 from dholm/undo-tree

Get undo-tree from official git repo