Fix buildscripts

The move of the lithium folder to the refinedrust package had some unintended side-effects which broke the buildscripts for clients of RefinedRust. This finishes removing the coq-lithium package.