Fix install script for Make >= 4.0

This closes #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.