encode exported JSON maps in hexadecimal
And of course decode imported JSON maps when they are in hexadecimal. In details the idea is:
- add a variant of Element::toJSON which encode into hexadecimal the string so it begins by 7b or 7B and embedded commas are translated into 2c or 2C
- enhance Element::fromJSON to decode first its input argument when it begins by 7b or 7B This allows to store not trivial user context into memfile lease database. Possible additions:
- support more than maps
- better (less space) encoding than hexadecimal note IMHO for the intended use these are overkilling.
If there is an issue about the memfile problem please replace this sentence by a reference to it.