doc/syntax.tex: Replace `listing' environments with `prog'.