Add pages for Verilator setup and use.