patch for symbol.

Hi! May every GiNaC user and developer have a good 2004. Here's a patch from GiNaC's RSI-prevention department. Reason for the patch: creating a real symbol is such a common operation that it should be as simple as possible. regards, Chris