frontend additions

case_studies/tests/src/lib.rs

case_studies/tests/src/option.rs

rr_frontend/radium/src/coq.rs

rr_frontend/radium/src/specs.rs

rr_frontend/translation/src/lib.rs

rr_frontend/translation/src/shim_registry.rs

...rontend/translation/src/spec_parsers/crate_attr_parser.rs

...ontend/translation/src/spec_parsers/module_attr_parser.rs

rr_frontend/translation/src/spec_parsers/parse_utils.rs

rr_frontend/translation/src/utils.rs