Note: As of 19 Oct 2017 the why3 system is not yet installed in the Linux Lab.
Installation of why3 is a bit more complicated and we will use the why3 system only later in the course.
Because of this you will get an error message of the form
./setupSparkAdaSwansea.sh: line 70: /usr/local/opam/system/bin/why3: No such file or directory
You can ignore this error message for the moment.