Added graphic interfaces and launch/stop files

[fincatomarta]

In this PR three files have been added:

• multi_monitor.py: is a python script which let you visualize a graphic interface describing the status of each monitored property;
• launch_other.sh: is a script which launches in a tmux session all the oracles and the properties at once, each in a different tmux window;
• stop_other.sh: kills the process activated by the previous file