Merge SQLLogDock and MainWindow

Move the SQL log dock into the main window. This means the log dock is
now included in the MainWindow.ui file and its logic in MainWindow,cpp.
Merge remote-tracking branch 'upstream/master'
Fix pragma editing

Fix a bug in the pragma editing that made it impossible to change some
pragmas because the new values were not put in quotes.
Merge pull request #5 from MKleusberg/master

Fix pragma editing and further code clean up