added GPL to semaphore.fs