Resolve duplicate dependencies

Closes #11 (closed)

rr_frontend/refinedrust_frontend/Cargo.toml

 [package]
-name = "refinedrust_translate"
+name = "refinedrust_frontend"
 authors = ["ETH Zurich", "The RefinedRust Developers and Contributors"]
 license = "MPL-2.0 AND BSD-3-Clause"
 
@@ -8,14 +8,14 @@ repository.workspace = true
 version.workspace = true
 
 [[bin]]
-name="refinedrust-rustc"
-test=false
-doctest=false
+name = "refinedrust-rustc"
+test = false
+doctest = false
 
 [[bin]]
-name="cargo-refinedrust"
-test=false
-doctest=false
+name = "cargo-refinedrust"
+test = false
+doctest = false
 
 [dependencies]
 rr_rustc_interface.workspace = true