Adding function to list all project members for regular users with a new
menu button. I implemented this function in the ProjectLeader servlet,
this is not very pretty since it's not a ProjectLeader function at all,
but we have no seperate servlet suitable for this function and it felt
pointless to create a completely new one.