uCOS-III semaphore implementation

Same as in PR #35:
- changed the API to static allocation
- breaks the mock implementation and it's tests
- didn't test it on hardware yet