Fix permissions of some files.
Add support of double random numbers.

Add functions ottery_rand_double that returns a value in the half-interval of
[0..1) giving 52 bits of entropy. This might be useful for jittering in different
applications.