Small utility to generate a file with randomly generated integers