VegOwOtenks

Adds source information output to the file `profile.summary`. The source section is separated with a header, the start looks like this: [entire file: summary.txt](https://github.com/user-attachments/files/24088036/summary.txt) This increases the size of `summary`...

Please consider the above implementation a proposal. I would be happy to discuss and/or experiment with different formats before settling on anything, if anyone has different ideas of what it...

> This looks pretty promising, although it's too late in the day for me to read code. I'm OK with making the summary file larger, but we could also put...

> I hadn't even noticed that your example is for the multicore backend. Cool that it works too. Very cool that futhark supports so many targets. Multicore is the only...