[procedure] vector-binary-search vec value cmp

SRFI-43: Searches value in vec using binary search. Returns the index if found, or #f otherwise. Cmp is a two-argument procedure which returns a negative integer, zero, or a postive integer, when the first argument is less than, equal to, or greater than the second argument, respectively.