renamed semafor.py to semafortools.py