Create josephus.py