Implement search where formula unknown, not matching

Not matching isn't terribly useful, but included for completeness.

This also wires up the syntax for searching by text, but doesn't
implement the server side yet.
Rudimentary search-by-text #6
It's allllll about the search

Add search to the homepage with some pointers for making the most of it
Redirect to space after deleting a trait

That's more likely what you're interested in
Minor template tweaks