Adding @pypingou to contributors