Added double random number generator to main (and tested it).

Also fixed permissions on mtrand.h and mtrand.cpp, which for some reason were both set to execute.