add jquery-1.8.js as jquery core 1.8.3 and jquery-1.9.js as jquery core 1.9.0, still keeping jquery.js as jquery-1.7.2.js for compatibility.

Also, make it possible to tweak base_priority by parameter.

* add minified version
* now depend on jquery on erp5_jquery_plugin_json instead of erp5_jquery_plugin_jstorage.

move translation files under i18n directory.

A dictionary was used as cached to store test result path and
duration of tests. This was quite convenient, however this
dictionary was growing, and since this data was commited thouzands
time per day, this was making the zodb growing faster and faster.

So we now rely on catalog + tags to retrieve test results. We
also use int_index on test result line to order them by duration
time. We will surely increase the load of sql database (we might
need to add specific index), but this will avoid zodb using too
much space.

URL length limit is too restrictive to contain all skin selections of a
real site.

Hot reindex doesn't synchronise catalogs. It creates a new catalog from
ZODB data, which is expected to reach the same stata as original catalog.
It does not use existing catalog as data source.

This reverts commit 8e0674d8.

This fixes a regression in test_Member_download_pdf_format (testDmsWithFlare).

There was a sign error in the formula and it lacks code to deal with clock
changes.
Because the watcher will be removed, this patch reverts to imprecise but safe
and simple implementation.

Relevant race condition is between recursiveReindexObject and
unindexObject (triggered by setId).

Change listbox to display the portal_type in the column Type and add a new column to display the resource_title

Products.ERP5Type.JSONEncoder is deprecated in favour of 'json' module,
which is already tested by Python.