Change #! lines to specify python2.7 (required for argparse module)
Update Hewlett-Packard.xml

rebased
Update GMX.xml

Added logout page
add trivial rule for nyx.cz
Add rules for Opsmate.com
simplified and corrected Imgur ruleset

Simplified and corrected Imgur ruleset since we now have full HTTPS support on imgure.com and its subdomains.
Implement a test for ruleset querying performance
Most targets don't match without a preceding www. !?

Also comment out logging calls that might bias test results.

Conflicts:
	src/chrome/content/code/HTTPSRules.js
Take measurements in milliseconds; count hits
Make prefixing explicit
Only run performance tests if an about:config variable is set
adding rule for Gamestar.de
add rules for Menshealth.de & Womenshealth.de
added rule for PCWelt.de
added rule for tape.tv
added rule for Aesload.de
mark womenshealth.de rule as mixedcontent
Updated Instragram ruleset.
Merge pull request #88 from BrynM/master

simplified and corrected Imgur ruleset
Merge branch 'patch-12' of https://github.com/J0WI/https-everywhere into rules/j0wi