Flavor superconductivity from gauge/gravity duality