Add a HTML copybox for JSON output