Add information about creating a PID file for robust to the Robust.ini and Robust.HG.ini example files