Remove dummy=True option for Symbol() and numbered_symbols()
Use Symbol(...) instead of Symbol(..., dummy=True) in risch.py for debugging
Merge pull request #1828 from skirpichev/3378-Remove-Symbol-dummy

#3378: Remove deprecated Symbol(dummy=True) syntax