Fix ruleset bugs

From https://trac.torproject.org/projects/tor/ticket/10241
Add Mozilla keyservers (#9643)
Be less verbose
Merge remote-tracking branch 'yan/fix/9643'
Merge remote-tracking branch 'yan/bug/10241'
[Intel] workarounds for Intel breakage

https://lists.eff.org/pipermail/https-everywhere-rules/2013-November/001732.html
[OpenDNS] JS loop, disable

https://lists.eff.org/pipermail/https-everywhere-rules/2013-November/001736.html