fix copy direction of restore_checkpoint
add ModifyCheckpoints handler

separates requests that change specified checkpoint IDs from those that do not.
checkpoint info is a dict

two keys: checkpoint_id and last_modified
expose checkpoint API in js
add some checkpoint messages to the notification area
add Revert to the menu bar