Fixed Vagrant Bugs and added synced folder compatibility

Vagrant Files/Vagrantfile

Vagrant Files/scyther.sh

Vagrant Files/shared/example.txt.txt

Vagrant Files/shared/scyther/.gitignore

Vagrant Files/shared/scyther/Changelog.txt

Vagrant Files/shared/scyther/GNU-General-Public-License.txt

Vagrant Files/shared/scyther/Gui/About.py

Vagrant Files/shared/scyther/Gui/Attackwindow.py

Vagrant Files/shared/scyther/Gui/Editor.py

Vagrant Files/shared/scyther/Gui/Error.py

Vagrant Files/shared/scyther/Gui/Icon.py

Vagrant Files/shared/scyther/Gui/Mainwindow.py

Vagrant Files/shared/scyther/Gui/Makeimage.py

Vagrant Files/shared/scyther/Gui/Misc.py

Vagrant Files/shared/scyther/Gui/Preference.py

Vagrant Files/shared/scyther/Gui/Scytherthread.py

Vagrant Files/shared/scyther/Gui/Settingswindow.py

Vagrant Files/shared/scyther/Gui/Temporary.py

Vagrant Files/shared/scyther/Gui/Version.py

Vagrant Files/shared/scyther/Gui/__init__.py