Search on name OR port

[karldreher]

Acceptance criteria:

• Additional search entrypoint in web.py
• Additional endpoint /name with normalized names e.g. /name/eliminate-spaces-with-hyphen
• Additional language in template if a port has a name but no port assignment (infrequent and mostly placeholder, but possible)
• Switch on frontend to choose searching port (default) or name. ideally this is in front of the searchbar.