no_proxy with whitespaces and leading dots.

The previous implementation wouldn't allow for white-spaces nor a leading dot
in the no_proxy list. The latter is described in the wget documentation as a valid case.

By being more strict on the characters, which are counted to a domainname,
we allow for white-spaces.
Also, a possible leading dot will be handled gracefully.