* main_sgrep.ml: a bit more generic, prepare for C++