Updated junit to 4.11
Added vtest coverage extractor (fixes #30)