EXPLAIN FORMAT=JSON

Add support for semi-join strategies: FirstMatch, DuplicateWeedout,
LooseScan.