travis: call ninja instead of make