Travis: don't build examples with GCC to avoid timing out