Updated build file to include the cobertura target for test execution.
Updated build file to include the cobertura target for test execution.

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler