Fix verilator bin path
Created by: ytliu74
The verilator installed by given script verif/regress/smoke-tests.sh
has a new bin
path, which looks like cva6/tools/verilator-v5.018/verilator/bin
. So the original setup-env.sh
fails to put verilator into $PATH.