Write kernel JSON using Gson instead of replacing strings in a template

The template-based method did not escape strings correctly, which
caused problems on Windows (because Windows paths use backslashes,
which are used as escape characters in JSON).