Vector: Make better use of $wgResourceModuleSkinStyles

This gets rid of quite a lot of Vector from Resources.php and resources/.

* New $wgResourceModuleSkinStyles entries:

  * jquery.tipsy: Split off skins/Vector/skinStyles/jquery.tipsy.less
    from skins/Vector/components/common.less. It's just one rule, but
    let's do it for consistency anyway.

  * jquery.ui.*: Converted from Resources.php.
    Files renamed: resources/src/jquery.ui-themes/vector/**
    → skins/Vector/skinStyles/jquery.ui/**

  * mediawiki.notification: Still has the specificity hack, just renamed
    skins/Vector/components/notifications.less
    → skins/Vector/skinStyles/mediawiki.notification.less

* Updated $wgResourceModuleSkinStyles entries:

  * mediawiki.special: Renamed file for consistency,
    skins/Vector/special.less
    → skins/Vector/skinStyles/mediawiki.special.less

  * mediawiki.special.preferences: Renamed file for consistency,
    skins/Vector/special.preferences.less
    → skins/Vector/skinStyles/mediawiki.special.preferences.less

Change-Id: If248781e44300039eb52262d03b2f6722838dd12