Added option to produce XML documentation