copy coverage to public
remove old mailers

[#77258680]
use bonsai elasticsearch for searches
fix bonsai url env
fix index on elasticsearch
remove some user seeds
Merge pull request #31 from psytau/elasticsearch

Switch to Elasticsearch. Resolves #32