Added API to push undo from other plugins.

Fixes #36.