Rename RandoLib4 to RandoLib