Add `XRT_IPC_SERVICE_PID_FILE_NAME` cmake variable to configure the name of pid
file.