add binary search's python version