Let dump-auth-data take a profile limit

Now we have the option to pull only N of an application's pids. I switched us to
use optimist since we need more expressive power now.