Add paragraph on verilator installation in "build Panda on ArchLinux" post.