Add file-names to the SrcLoc structure

This allows us to print prettier location info in the style
```
path/to/filename.l4:lineNr:colNr
```
which is what a lot of tooling expects. E.g. you can cmd-click on it in VS code to go to that location.