Half-angle-simplification of trig functions



I have committed the general simplification for half-angles of the trigonometric
and hyperbolic functions which works for every real and complex argument.

I hope the code will work well.

Dieter Kaiser