Remove symbols.txt (#219)

In 2015 / 2016, this was used as part of the old build process
to rename symbols, but hasn't been used in a very long time.

Author: waywardmonkeys