Ehrenfest-time-dependent excitation gap in a chaotic Andreev billiard