Report precise locations in evaluator error messages

[anton-trunov]

It can report the 0:0 location in a number of cases. See #1134 for example.

[jubnzv]

It was partially closed by #1133.

This PR describes other cases when we report 0:0 locations:

• checker/bad/gold/bad_version.scilla.gold: scilla version missmatch
• checker/bad/gold/bad_init.scilla.gold and checker/bad/gold/extlib_dup_entry.scilla.gold: related to JSON parsing when we don't have locations
• checker/bad/gold/blowup.scilla.gold: insufficient gas error

We should also find more cases when we report 0:0, including such messages from the evaluator.

Probably, the simplest way to do this is to process the expected output of tests (using jq queries for example) and deal with them on a case-by-case basis.

[jjcnn]

Moving to Scilla 0.14.0.