Remove XML declaration, if present, before parsing.

Articles generated by aardtools' xdxf converter contain xml
declaration specifying encoding. Article is deserialized by json
decoder to unicode. Recent versions of LXML consider it an error if
unicode string to parse contains encoding declaration.
Include compression into default output file name