* main_codequery.ml: remove line position stuff