Undo renaming of BitVector's length to width
[Mograsim.git] / README.md