Small JSON serialization benchmark for PHP 7.4.2

7.4.2_json-serialization-small-overload_0

  Compatibility with benchmark kit 4 and update PHP version to 7.4.2