Don't check certificates on Travis for arma

This was breaking our Travis build since we couldn't download
armadillo's source.