restructure directories into submission structure
Merge branch 'master' of github.com:bighuggies/hazgas

Conflicts:
	group_10_final/group/verification/hazgas.pml