add CPU cycles in all icgrep evaluation. add a fancy highlighter for the appendex.