Remove --symbol argument

The --symbol argument does not fix the dependency problem (the problem
enumerating symbols that are defined outside the source file) and it
increases the complexity of the API; so remove it.  We can add it back
if we find it is useful later.