Add experimental XML and JSON reporters

Reporters in XML and JSON formats are added in this pull request. The formats are not finalized, and we will modify them according to our experiences by using them in the CIs for some real-world projects.