Improved metrics_tool.py so it can just list metrics without computing them.