Comment 1 for bug 884395

Let's use the chance to reduce the available #include headers by making midori-platform.h an alias for gtk3-compat.h, gtkiconentry.h, sokoke.h and midori-stock.h. While at it, I'm trying to clean up uses of config.h.