proGenomes4: providing 2 million accurately and consistently annotated high-quality prokaryotic genomes. — SciRadar