add binary_search.c