Added getters for JsonPatch and Operations#79

Merged

Capstan merged 2 commits intojava-json-tools:masterfrom

GavinF17:getters

Aug 6, 2020

Commits on Jul 23, 2020

Added getters for JsonPatch and Operations
GavinF17
committed

Commits on Aug 5, 2020

Made getters final; added deepCopy() to PathValueOperation.getValue()
GavinF17
committed