Selectmenu: remove widthMenu option and rename widthButton option to width
Merge branch 'selectmenu' of github.com:jquery/jquery-ui into selectmenu