tex highlighting for .dtx and .ins files
allow compile pdf for non .tex extension
session options
eliminate soft wrap to margin column option