Fix install script for Make >= 4.0

This works around https://github.com/HoTT/coq/issues/69.  For the time
being (until we get a better version of Coq), we simply patch Coq's
configure script.

Also add a note about running scripts on Windows.