HMRC officially list Pegasus as software supplier