PHP: Add "json" option for generating JsonSerializable classes