Data.List: Added binary_search()
Data.List: Added specs for binary_search()
Data.List: Added a document for binary_search()