Allow any address in .local for the web workflow

[Neradoc]

The restriction on the hostname for web workflow is outdated but also incompatible with custom MDNS names.
So I believe it should just accept any .local name.

• since circuitpython#9699 the MDNS name no longer matches the filter used here.
  The format is now: cpy-board_name-big_hex_number.local
• when assigning a custom MDNS name to a board (with the mdns module) it's the url that is used by the web workflow, which redirects to it. Using a custom name is really useful to assign meaningful names to boards.

So for example with code like this, the web workflow doesn't work unless I use the IP instead of circuitpython.local (which is redirected to bibliolights.local).

import mdns
import wifi
mdnserv = mdns.Server(wifi.radio)
mdnserv.hostname = "bibliolights"

Should fix #273 too.

[makermelissa]

Makes sense to me. Thanks.