Added four new metrics: Total Activities (includes also copies etc.), Basic Activities, Structured Activities, and Non-Linear Activities
XMLResultProducer: write XML always using UTF-8 encoding (more predictable)