[firefox-extension-https-everywhere] Update to 4.0.2