Display relative file paths for `find-def` results

- the server sends results in JSON format
- the python front-end is now in charge of relativizing file paths and
  formatting results