This patch adds a simple shell script to easily update the
jQuery/jQuery-UI+theme bundle to the latest available version.

The jQuery-UI CSS theme is now loaded in lib/exe/css.php (before plugin
and template styles - 3rd party authors can override the styles).