Add support for virtual manifests

[R1kM]

When running Charon on a virtual manifest, e.g., serde, Charon currently crashes with the following error message

error: manifest path `/Users/fromherz/Work/papers/charon-tool-paper/tools/serde/Cargo.toml` is a virtual manifest, but this command requires running against an actual package in this workspace