[doc] add advanced in setup the Move Prover (#563)

add advanced in setup the Move Prover

Author: WGB5445

apps/nextra/pages/en/build/cli.mdx

@@ -62,7 +62,7 @@ For more advanced users, the CLI can also be used to run a private Aptos network
     <Card.Description>Setup and configure the Aptos CLI </Card.Description>
   </Card>
   <Card href="./cli/setup-cli/install-move-prover">
-    <Card.Title>Move Prover</Card.Title>
+    <Card.Title>Advanced (Move Prover)</Card.Title>
     <Card.Description>Setup and install the Move Prover</Card.Description>
   </Card>
 </Cards>
@@ -82,4 +82,4 @@ For more advanced users, the CLI can also be used to run a private Aptos network
     <Card.Title>Running a Local Network</Card.Title>
     <Card.Description>Run a local node / network</Card.Description>
   </Card>
-</Cards>
+</Cards>