Added user option 'sorted ' to UserNavigationTree, see #133. Added
boolean type to UserOption