[libre-riscv-dev] Name change from Libre-RISCV to Libre-SOC

[Jacob Lifshay]

If we're changing our name (which I think is a good idea, but should have
checked with everyone first), we should register the domain libre-soc.org.

Jacob