Clean up JSON output of goto-analyzer

[peterschrammel]

• make JSON property names conform to coding standard
• disentangle output generation, e.g. in goto-analyzer/unreachable_instructions.cpp
• contemplate using --json-ui instead of --json file

See #1926 for context and discussion.