The images directory contains images referenced by the cascading stylesheets in this directory
TODO; the different versions of jquery UI have different images, how to discriminate between them ?
-> jquery UI is put in separate directory
TODO; remove the jquery-ui.css and images from this directory when muse, euclid, awlofar and astro have been updated
