Use jsonnetfmt instead of dumping jsonnet config with custom pretty printing

When importing a configuration from GitHub and writing a jsonnet file, we do a custom pretty printing which is a bit of a hack. Instead we should just write non-indented output and use jsonnetfmt to postprocess the file.