Add coverage options to base/pkg.jl