gEDA symbol checking utility