Upgrade simplecov, set up rcov formatter for jenkins, remove spork