new bin search added

I added the new binary_search to tardis master, as discussed during that meeting last week.