Add github-formatted output to infection runs

Author: Ocramius

infection.json.dist

@@ -6,6 +6,7 @@
     },
     "logs": {
         "text": "php://stderr",
+        "github": true,
         "badge": {
             "branch": "master"
         }