[libre-riscv-dev] partitioned compare and mux

[Luke Kenneth Casson Leighton]

michael do a quick git pull, i did a tidyup on PartitionedAdd, and put
a cross-reference to the wiki.
l.