synchronet-json.js

use the native JavaScript one.

This single-handedly improved the performance of the JSON DB on 3.16 by a
factor of about 20.