Bring up number keypad for port on mobile phones, URL for address

An alternative would be type="tel", which has bigger number buttons for me,
but it seems wrong to use.
Merge pull request #235 from lorenzhs/portinput

Bring up number keypad for port on mobile phones, URL input for address