[libre-riscv-dev] sv.setvl encoding

[Jacob Lifshay]

I added the encoding I had originally planned under the "original encoding"
header.

https://libre-riscv.org/simple_v_extension/specification/sv.setvl/

Jacob