Homology of formal deformations of proper étale Lie groupoids