if PERSONA_WITH_COVER, do a graceful shutdown so cover can generate .coverage_data

This is the PR for mozilla/browserid#2807. Does what the summary says and otherwise has no effect if PERSONA_WITH_COVER is not set.