Converted some program listing to use the LyX control instead of raw latex.