Building an AdS/CFT superconductor