Rename josephus to josephus.py