Updates symbols.tx with 7,250 symbols fetched on 2013-01-04.
Makes fetcher retry.
Removes NMP, SRZ, and TIE as of 2013-01-09, containing totally 7,247 symbols.