Make WebKitGTK dependency optional
This merge request depends on !210 (merged) (to avoid crashing on startup) and !221 (merged) (which removes the most prominent use of WebKitGTK) and will need to be rebased after those land. It's ready for review now, though.