fixed bug: rand() for batches of images

AlexeyAB

2017-01-10 b831db5e58ad37c8f4adf39de7fb5db204209a1c

 src/option_list.h

@@ -9,6 +9,8 @@
} kvp;


list *read_data_cfg(char *filename);
int read_option(char *s, list *options);
void option_insert(list *l, char *key, char *val);
char *option_find(list *l, char *key);
char *option_find_str(list *l, char *key, char *def);