Doc: add the sasaVM password

guides/users/README.org

@@ -955,14 +955,17 @@ This docker image   contains all the tools mentioned in this section
 
 https://verimag.gricad-pages.univ-grenoble-alpes.fr/synchrone/sasa/sasaVM.ova
 
+- login:sasa
+- passwd:sasa
+
 * Screencasts
 
 - Create a xubuntu 20.4 VM: [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/vbox-x2.avi][2 minutes video (20 min of real time)]]
 - Clone that VM  and install sasa via opam [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/sasa-install-x2.avi][2:39  minutes video (37 min of real time)]] 
 - Sasa demos (done on the VM build above, which is [[https://verimag.gricad-pages.univ-grenoble-alpes.fr/synchrone/sasa/sasaVM.ova][available here]]):
    - demo 1: write and execute an algo (Dijkstra ring)  [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/first-demo.avi][first-demo.avi]]
-   - demo 2: re-define what a legitimate configuration is [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/legitimate-demo.avi][legitimate-demo.avi]]
-   - demo 3: perform a test campaign  [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/simca-demo.avi][simca-demo.avi]]
+   - demo 2: re-define what a legitimate configuration is (Dijkstra ring) [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/legitimate-demo.avi][legitimate-demo.avi]]
+   - demo 3: perform a test campaign  [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/simca-demo.avi][simca-demo.avi]] 
 #   - demo 4: demonstrate the use of potential functions [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/potential-demo.avi][potential-demo.avi]]
 #   - demo 5: demonstrate the use test oracles [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/oracles.avi][oracles.avi]]