Preferences refactoring. Fixes #594.

    - moved WidowPreferencePage to workbench plugin
    - renamed to WorkbenchPreferencePage