Rename the 'cretonne' binary.

It soome that 'cargo doc' gets confused when there is both a library crate
and a binary called 'cretonne'.

cranelift/src/test-all.sh

@@ -1,4 +1,6 @@
 #!/bin/bash
 cd $(dirname "$0")/tools
-cargo test -p cretonne -p cretonne-reader -p cretonne-tools
-cargo doc -p cretonne -p cretonne-reader -p cretonne-tools
+PKGS="-p cretonne -p cretonne-reader -p cretonne-tools"
+cargo build $PKGS
+cargo doc  $PKGS
+cargo test $PKGS

cranelift/src/tools/Cargo.toml

@@ -6,7 +6,7 @@ description = "Binaries for testing the Cretonne library"
 publish = false
 
 [[bin]]
-name = "cretonne"
+name = "cton-util"
 path = "main.rs"
 
 [dependencies]