Added small documentation of lib_json:encode/1