Micro-browser framework based on WebKit and GTK+