PiShield: A PyTorch Package for Learning with Requirements