Prominent GitHub Engineer Quits, Alleging Gender-Based Harassment