JSON Pointer escaping

JSON Pointer escaping

Encode and decode object names containing slash or tilde with the RFC 6901 rules.