Verificarlo Tutorial

[maikhaase]

Following the verificarlo tutorial went well.
https://github.com/verificarlo/verificarlo_tutorial
Please find some minor remarks below:

1. The user needs to manually install vim and matplotlib to the container since both are necessary for the included scripts.
2. Please add a definition for catastrophic cancellation
3. Page 3 - Question 6: Users might be interested in analyzing the .tab data for each run, however, the file is overwritten with each run for different presets.
4. Page 5 - Question 9: Users need to specify the clang version when running inside the docker
5. Page 6 -Question 11: Setting the preset for run_vprec.sh needs the --preset=... or --precision-binary... instead of the preset names that where introduced earlier.
6. Page 6 - Question 12: In part (b) the precision is set by --precision 53 instead of --precision-binary64=53
7. Page 10: In the listed algorithm, the naming is different compared to the compHorner function in the source.