Use location ranges provided by Goblint #12
Description
Once goblint/analyzer#449 is merged, GobPie should use those ranges instead of its own ; finding heuristic for finding end locations. The locations in JSON output will have additional endLine and endColumn fields.