string_ref: implement missing member compare() overloads

Interface and correctness now; optimize later.
string_ref: document variation from current string_view proposal
string_ref: update html version of documentation