pip: update edk2-pytool-extensions requirement from ~=0.25.0 to ~=0.25.1

pip: update edk2-pytool-extensions requirement from ~=0.25.0 to ~=0.25.1 #272