Use gender-neutral pronouns

Hi team,
I think it is very important to use gender-neutral pronouns whenever and wherever we possibly can.
This MR attempts to do the same by replacing "his/her" or "him/her" by "they", them" or "their".

CC: @rpaik