Adding GitHub IDs for contributors (still missing one)