Use more recent version of cmake on travis-ci