Use add-apt-repository to add docker repo

'add-apt-repository' is concise and less error-prone. It also takes care of downloading and adding the GPG keys so apt doesn't complain about unsigned packages.