Kolding Gymnasium, HF, og IB School