* demos/simple_code_search.ml: simple example, for github