remove 'deref_to_tree', not needed anymore
[webgit] / README