Fix typo in documentation
Merge documentation fix
Fix executable extensions

Extensions of executables were double-added if bin_PROGRAMS contained $(EXEEXT). For
consistency of the makefiles and better readibility, I'd stick with adding $(EXEEXT)
to bin_PROGRAMS.
Merge Watcom fixes