chore(people/index.md): update list of people
chore(people/index.md): update list of people

soonhokong/leanprover.github.io,soonhokong/leanprover.github.io,avigad/leanprover.github.io,avigad/leanprover.github.io,leanprover/leanprover.github.io,leanprover/leanprover.github.io,leanprover/leanprover.github.io,soonhokong/leanprover.github.io,avigad/leanprover.github.io