[Feature Request] json_array_append

[HarryCordewener]

Expose SQLite's ability to group arrays so we can append one array to another. There is a common need to add one array to another.

json_array_append(<jsonarray1>,<jsonarray2>)

Append two arrays and return the resulting array. 

Examples:
> &a1 me=[1,2,3]
> &a2 me=[4,5,6]
> say json_array_append(v(a1),v(a2))
You say, "[1,2,3,4,5,6]"

SQLite code:

SELECT json_group_array(value) FROM
	(SELECT * FROM json_each('[1,2,3,4,99]') 
    UNION ALL SELECT * FROM json_each('[5]'))