[python] add flavius josephus