Checking installed linux libraries

libwebkitgtk-3 has been deprecated for a while now. We prefer libwebkit2gtk for our HTMLViewer since 2018r2, but will fallback to libwebkitgtk-3 on older distros that may not have libwebkit2gtk installed.