be more strict in parsing HiddenServicePort

A possible typo like

HiddenServicePort 80 127.0.0.1 1234

is accepted. IMO Tor should at least warn about a possible missing colon.