Modify util to print match position in line.
Added condition to print HOL Light function, i.e. functions with upper case names.

Signed-off-by: Eric G Taucher <researcher0x00@gmail.com>