Merge in feature branch that adds gnat2goto compatibility#3112

Merged

chrisr-diffblue merged 1 commit intodiffblue:developfrom

NlightNFotis:external_parser_support_rebased

Nov 21, 2018

Commits on Nov 21, 2018

Implement JSON symtab language frontend.

smowton
authored and
NlightNFotis
committed