lavapipe: rename vallium to lavapipe

Just a cooler name, thanks Marek (@mareko)

This might cause some conflicts on outstanding MRs, we can decide when to land it.

Also helps find it in search engines.