add double angle formulas

[shashi]

julia> simplify(r*cos(x/2)^2 - r*sin(x/2)^2)
r*cos(x)

julia> simplify(2cos(x)*sin(x))
sin(2x)