`cargo miden build` inside the Miden project(workspace) should compile all the contracts

Since we cannot rely on cargo for the dependency graph, we should implement it and compile contracts accordingly.