travis: use a subset of problems when compiling in Travis.

A better subset could certainly be found, e.g. with a wide range
of types of problems to cover as many different cases as possible.