Add grace time option to pidproxy

The grace time option allows to have a maximum wait time for process
termination. If the process doesn't end in that time frame pidproxy
will send the kill signal