Merge branch 'master' into bitsplit
Merge branch 'bitsplit' of github.com:jeremybennett/verilator into bitsplit