Merge branch 'hotfix-keep-queue' into test_caset1
Have part of something working
Made minor fix to test_synch.c
Merge branch 'hotfix-2'
More documentation adds
Removed extra test that shouldn't have been committed
Got everything to compile, time to test it
Added documentation
Merge branch 'fair-lock' into test-fair-lock
Looks like everything works
Removed old test case
Added old documenation
Merge branch 'hotfix-3' into leo-test-case