jenkins-pitesti

puts coverage and test data in jenkins-friendly places