Added avsm ppa in order to install opam.