Merge branch 'kostyantyn/misc-updates' into 'master'

Miscellaneous updates/Convenience script

The merge request suggests the following changes:

- Removal of trailing spaces in visit.ml.
- Adjustment of the `stdio.c` test to prevent it from writing a test file into the project's root directory.
- Added a convenience script for runs of E-ACSL/GCC. Functionality to `install` and `uninstall` executable files from the `scripts` directory has also been added. 

See merge request !19