Add ReText repo and installation