Add option to override --crate-name from kani

Add option to override --crate-name from kani #672