Update CI setup
treea1cdd94310b92ffdf5279d5d0d006388d57cf0e7
drwxr-xr-x - .github
-rw-r--r-- 2979 .gitignore
-rw-r--r-- 131 .gitmodules
-rw-r--r-- 1184 .travis.yml
drwxr-xr-x - .travis
-rw-r--r-- 2968 INSTALL.md
-rw-r--r-- 28274 Makefile
-rw-r--r-- 23339 Makefile.dist.mk
-rw-r--r-- 6287 Makefile.print.mk
-rw-r--r-- 1321 README.md
drwxr-xr-x - bin
drwxr-xr-x - cmake
drwxr-xr-x - data
drwxr-xr-x - doc
drwxr-xr-x - resources
drwxr-xr-x - source