Data.List: Added a document for binary_search()