programlisting line numbering and highlighting