Quasiclassical Green's function in the BCS pairing theory