Documentation: Use add-apt-repository instead of editing sources.list

A bit nicer user experience for people trying this out for the first time.