create a separate coq-lithium package

1 job for ci/multiple-packages-2 in 13 minutes and 15 seconds (queued for 2 seconds)