Decentralized Federated Policy Gradient with Byzantine Fault-Tolerance and Provably Fast Convergence