Cobertura files.  Build.xml now set for Cobertura.  Added build_with_cobertura.xml so others can switch between the two tools.  Added build.properties for use with Cobertura build.