Add a command line option to use make instead of gmake.
Add a note on make vs. gmake.