Function short_pass_name 

fn short_pass_name(name: &str) -> String

Shorten a pass name for display: charon_lib::transform::foo::bar::Transform -> foo::bar.