fully-fledged webkit-free welcome mode

pros:
- the non-webkit version is not castrated any more
- i18n should become simpler
  - but need to make the buttons non-labels for optimal results
- if we introduce delayed loading of the help plugin, we would get
  webkit loading out of the startup's critical path alltogether

cons:
- the page might be a bit harder to modify for some

src/plugins/coreplugin/coreplugin.cpp

@@ -38,10 +38,6 @@
 #include <extensionsystem/pluginmanager.h>
 
 #include <QtCore/QtPlugin>
-#if !defined(QT_NO_WEBKIT)
-#include <QtGui/QApplication>
-#include <QtWebKit/QWebSettings>
-#endif
 
 using namespace Core::Internal;
 
@@ -72,12 +68,6 @@ bool CorePlugin::initialize(const QStringList &arguments, QString *errorMessage)
     Q_UNUSED(arguments);
     const bool success = m_mainWindow->init(errorMessage);
     if (success) {
-#if !defined(QT_NO_WEBKIT)
-        QWebSettings *webSettings = QWebSettings::globalSettings();
-        const QFont applicationFont = QApplication::font();
-        webSettings->setFontFamily(QWebSettings::StandardFont, applicationFont.family());
-        //webSettings->setFontSize(QWebSettings::DefaultFontSize, applicationFont.pointSize());
-#endif
         m_welcomeMode = new WelcomeMode;
         addObject(m_welcomeMode);