Use current source filename on "Source code" dock widget

[RepubblicaTech]

A small aesthetic change, the Source code widget should add to the title of the window the current source file being read (just the filename, no full path, the GDB response should already have that, which could help).