[Maxima] Half-angle-simplification of trig functions

[Dieter Kaiser]

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