Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications