******************* Equivariant motivic integration for formal schemes