Add command line option to save PID to a file