Revert ".travis.yml: install recent version of Check framework"

This reverts commit 5557d8649bf7fe2f971c57c918a5ad583e97c819.
.travis.yml: update to gcc-4.8