jquery-ui-themes: use a choice option for theme name

A bit more user friendly than asking people to figure out the available
themes manually.

Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>