refactor spin files

Conflicts:
	spin/barrier.pml
add new semaphore barrier spin file and 2 verification runs