Make a comment more precise.
By default, th synthe3 executable should use the sound backend rather than outputting a WAV file.
Get rid of useless #include.
Get rid of useless yes_no function.
Fix typo in comment.
Fix more typos in comments.