Removing a tree stump with hand tools