Incorporate more top contenders from HWMCC
There are more tools that performed well in HWMCC'20, including Pono and nuXmv. We should try to incorporate them as well.
Steps:
- Write a tool-info module for the tool
- Upload a precompiled tool archive to this repository