Add themecss option to control the name of the jQuery UI css file

It is useful to choose from jquery-ui.css, jquery-ui.min.css and jquery.ui.theme.css, which are available for every core jQuery UI theme.