Add '--prof-file' option to RunProfileServer.