Install trik SDK using opam