Aggiunto tipo di plot a plotFile.sh
Argomenti plotFile.sh con getopts
Merge branch 'main' into case_sets