Move the progressive resolution checkbox to the view menu.  It can
always be moved back.  I used the MapViewManager.PR_LABEL for the menu
so it is consistent with the other menus in the preferences and view
manager.  That way, once we settle on Progressive Disclosure or
Progressive Resolution, or something else, we just have to change it in
one place.
oops, need this change also.