gEDA symbol checking utility
