gnu: webkitgtk: Update to 2.12.3 [fixes CVE-2016-{1856,1857}].