Add prometheus metrics, option to cap per-search results, optimizations#397

funkypenguin wants to merge 7 commits intog0ldyy:maing0ldyy/comet:mainfrom

elfhosted:add-metrics-cap-resultselfhosted/comet:add-metrics-cap-resultsCopy head branch name to clipboard