add bbcov nudge front end for NUDGE_TERMINATE_PROCESS

From bruen...@google.com on May 23, 2013 14:50:33

Some users have requested obtaining coverage info when terminating a process externally. This can be done today with something like:

drconfig -nudge 0 1

But the "1" is a magic number and we should try to have a friendlier wrapper. Can we use -t to solve this, or do we need to extend it?

Original issue: http://code.google.com/p/dynamorio/issues/detail?id=1168