Merge pull request #4 from antoinealb/master

Assserts that the semaphore is available.
Added abstraction for mutex (w/ uinit tests)
updated documentation
added setup function to tests
Merge pull request #5 from froj/master

Abstraction for mutexes.
Rework documentation.