refactor binary search, again

Ban Ngụyrequested to merge
refactor-binary-search into master
  • correct description for binary search
  • add partition_point, similar to the standard library function for slices
  • rename binary_search_min_by to lower_bound
  • rename binary_search_max_by to upper_bound
Edited by Ban Ngụy

Merge request reports