re-adding caretUndoStack.push() and caretRedoStack.clear() calls to fix
bug #707
Merge branch 'master' of https://github.com/joshgiesbrecht/processing