Re-adding the extra coverage save command that it turns out was NOT redundant.  It's needed to re-write the combined output to _disk_ so that it can be re-read by external programs (like our coveralls tracking).
Re-adding the extra coverage save command that it turns out was NOT redundant.  It's needed to re-write the combined output to _disk_ so that it can be re-read by external programs (like our coveralls tracking).

wfxiang08/green,CleanCut/green,krisztianfekete/green,smspillaz/green,smspillaz/green,wfxiang08/green,CleanCut/green,wfxiang08/green,smspillaz/green,krisztianfekete/green