Install cmake from ppa, since we need cmake 2.8.8