edited goto_tools.h to contain an open source random number generator
added open source random number generator to goto_tools.cpp