Added the official repository in the installation instructions