Use latest version of prism, add json formatter, copy to clipboard plugin,
and line-numbers.
Now the clipboard js is automatically loaded by prism it it not included
and the buttons are automatically initialized. Though I added some css to
match the previous style.
