Support searches for more than 1 search term
Separating search terms by spaces doesn't work, because Tomcat cannot parse spaces in URLs other than in parameters. But maybe we can use some other character to separate search terms than space. Also redefine the search semantics. Right now, it's "beginning of nickname, fingerprint, etc."
(This was issue 9 in my GitHub repository.)