Dynamic_MPC_Shield Code for the paper A Dynamic Safety Shield for Safe and Efficient Reinforcement Learning of Navigation Tasks https://arxiv.org/pdf/2412.04153