Add misssing minified theme file (seems to be a problem in the jqueryui dist file)