JsonRef: introduce .getPointer()

This method returns a JsonPointer instead of a JsonFragment.

In combination with .isLegal(), this will allow to get rid of JsonFragment
ultimately, and clean up the code a lot.

Signed-off-by: Francis Galiegue <fgaliegue@gmail.com>