Resurrect the RangeSelector-based anchoring (for HTML)

 * Ported the RangeSelector-based anchoring strategy to two-phase anchoring.
 * Renamed the "text range" virtual anchor type to "text position".