allow changing the file for source annotation in the disassembly view

[milianw]

inlined code can come from multiple files, so far we only show the main function's source code. ideally we allow annotating other files too somehow, e.g. when clicking on inlined code in the assembly view on the right, or via a drop down on the top