Add jquery_ui_spinner library.