.travis.yml: install recent version of Check framework