Use HTML5 number field type for integer fields in the admin.

Displays with those little up/down arrow things.

Improves UI of Width/Height fields in particular.

Related to issue #416