[firefox-extension-https-everywhere] Update to 3.5.3 (the patch is not needed anymore)