Replace cmake ppa with a debian backport that is more frequently updated
Merge pull request #136 from jgkamat/master

Replace cmake ppa with a debian backport that is more frequently updated (and generally better)