Added documentation to UndoManager

This is definitely not standard Javadoc and probably more guide-like
than API code doc, but it's here for now. 
Make undoManager undo/redoCount observable

The ```get``` attribute alone wasn't going to cut it without
a dependencies attribute, and that's probably going away with FRB on
the horizon.