We need a fairly new version of Verilator, so I just added a rule to download and install it on all systems.