tex highlighting for .dtx and .ins files