Release Onionoo 7.0-1.20.0
Let's release Onionoo 7.0-1.20.0 to finally ship fixes like metrics-lib's #25444 (moved) from 15 (!) months ago. Oops!
Let's also describe changed dependencies from upgrading to more recent metrics-lib versions in the Onionoo change log.
I'll work on this now.