Changed travis config (use istanbul directly)