fixed PHP Reporter to export raw coverage (enables merging)