Merge changes to README.md from stable branch

README.md

@@ -112,7 +112,7 @@ $ git submodule init
 
 Then, initialize the CakeML submodule and start compilation:
 ```bash
-$ git submodule update --recursive --remote
+$ git submodule update --recursive
 $ cd hol4/
 $ Holmake
 ```