htmlparser: Accept gzip encondings. Fixes #11