An adaptive edge element method and its convergence for a Saddle‐Point problem from magnetostatics