Disassembler: Force disassembler reload when switching output flavor

Change-Id: I8356cba5766a0afc519c66f120c24d1755c840e4
Reviewed-by: Christian Stenger <christian.stenger@digia.com>
Reviewed-by: hjk <hjk121@nokiamail.com>

src/plugins/debugger/disassembleragent.h

@@ -67,6 +67,9 @@ public:
     void cleanup();
     bool isMixed() const;
 
+    // Force reload, e.g. after changing the output flavour.
+    void reload();
+
 private:
     void setContentsToDocument(const DisassemblerLines &contents);
     int indexOf(const Location &loc) const;