Heavy Quark Potential at Finite Temperature in AdS/CFT