debugger: make the option to write timestamps to the log persistent

(cherry picked from commit a5c5cfc4)

Conflicts:

	src/plugins/debugger/debuggerplugin.cpp

src/plugins/debugger/debuggerplugin.cpp

@@ -359,6 +359,7 @@ QWidget *CommonOptionsPage::createPage(QWidget *parent)
         m_ui.checkBoxEnableReverseDebugging);
     m_group.insert(theDebuggerAction(MaximalStackDepth), 
         m_ui.spinBoxMaximalStackDepth);
+    m_group.insert(theDebuggerAction(LogTimeStamps), 0);
 
 #ifdef USE_REVERSE_DEBUGGING
     m_ui.checkBoxEnableReverseDebugging->hide();