Add floating type specification through cmake.

[olivier-stasse]

The modifications make possible to switch from float to double at cmake time. This could be extend to ginac type. But the latter has not been tested.