ipdb: fix possible race in `revert()`
ipdb: basic snapshot API

Warning: internal API changed