build

cargo: add version number to `jj-lib` dependency #6736

Job	Run time
build (ubuntu-latest)	7m 9s
build (macos-13)	4m 39s
build (windows-latest)	10m 56s
build (ubuntu-latest, --all-features)	9m 12s
cargo-deny (advisories)	37s
cargo-deny (bans licenses sources)	36s
Check protos	43s
Clippy check	3m 29s
Check that MkDocs can build the docs	27s
Check formatting	22s
	38m 10s

Provide feedback