fix theprinting of the proper github username for each developer

used sed to isolate the proper attribute from the ldap record of each
user out of the ldap_users_list function