Merge branch 'fix-scandium-installation-instructions' into 'master'

Fix Scandium installation instructions

See merge request !82

html/installations/scandium.md

@@ -91,7 +91,7 @@ Most provers are available on all platforms. After their installation,
 Why3 must be configured to make them available for Frama-C/WP:
 
     ```shell
-    why3 config --detect
+    why3 config --full-config
     ```
 
 ### Known working configuration
@@ -197,7 +197,7 @@ sudo apt install make m4 gcc opam
 Then opam can be set up using these commands:
 
 ```
-opam init --disable-sandboxing -c 4.05.0 --shell-setup
+opam init --disable-sandboxing -c 4.07.1 --shell-setup
 eval $(opam env)
 opam install -y depext
 ```