code: function jpunescape(s) {
      s = s.split('~1').join('/');
      s = s.split('~0').join('~');
      return s;
  }
docs: unescapes JSON Pointer using ~0 for ~ and ~1 for /
  @param s the string to unescape
  @return the unescaped string