Pushed version 3.1.7.6

[Robert Goldman]

This contains bug fixes that make tests work better when run under
cygwin on Windows.

This is also preparatory place-holder before merging Elias's RUN-PROGRAM
bug fixes.

Cheers,
r