Prusti-launch

This crate provides the entry-point binaries used to prepare and then launch the prusti-driver and prusti-server binaries. By design, this crate should not dynamically link to anything.