Add higher level profiling to the indexing phases with --time#695

jviotti merged 2 commits intomainsourcemeta/one:mainfrom

better-index-logssourcemeta/one:better-index-logsCopy head branch name to clipboard