added JSONObjectPropCount() and GotoNextJSONPropName() functions, able to understand MongoDB extended syntax, and allowing a faster TDocVariant initialization