Search performance

Search should now be much faster
Search result format changed slightly to match search in other OpenStax products
Added case-insensitive indices to User
oh this is only the internal UI -- guess it doesn't matter.