Create a separate coq-lithium package

This MR creates a separate coq-lithium packages such that one can install Lithium without needing to pull in the full RefinedC (especially without needing to compile cerberus). Sadly, we need a hack to remove lithium from the refinedc dune files before installing, since otherwise dune gets confused.

@lepigre any thoughts on this?