Added NumericTextBox.java.  Using this widget will display a numeric keyboard on both IOS and Android.
Added method setType(String type) to TextBoxBase.java.  This allows changing the type to date, datetime, datetime-local, email, number, range, search, tel, most of which are supported by webKit.
Added css into master.css that fixes a spinner problem for NumericTextBox.java on Chrome browsers.