UndoManager : make the `select` parameter of undo / redo methods optional and positive

Ironically, the only usage of this internally in the javascript is
`!dontSelect` so I'm really baffled why they chose to give it a negative
orientation, in addition to being poor style :)