Travis-ci: just run make, not make check

'make check' requires /usr/include/linux/filter.h to be from 3.7 or newer,
but the travis-ci host runs a 2.6 kernel. linux-libc-dev's filter.h is too old.

Checking that 'make' works is better than nothing, which is the alternative.