Initial incomplete script to synchronize users

Beginnings of a script to get github collaborators and compare them to
eclipse members. Eventually this will support synchronization or report
discrepancies.
remove unused code

removed duplicate functions and fixed some warnings.