Add a script to extract source lines in post-mortem

[svalat]

In case we forgot to install debug symbols at running time, we can provide a script afterward to fix the json file to extract the sources in post mordem in order to avoid running again.

Should be easy, maybe make in python or reuse the webserver nodejs code.