überSpark: add tool-chain support for staging cleanup and uobject selection during verification

This task will add tool-chain support for staging cleanup and uobject selection during verification (for selectively verifying individual uobjects). The following two front-end commands are added:

  1. uberspark clean → will perform staging cleanup for the uobjcoll
  2. uberspark verify --uobject UOBJNAME → will performe verification only for the selected uobject.

PR(s):

Merge(s):

Added PR and merge information to OP. Changes merged upstream. Closing topic/thread.