The user of the script may now override the default name of the
host platform's GNU make utility by passing in a MAKE variable.
Along with the previous commits and upcoming documentation changes,
this fixes#93.
Change-Id: I97fc501413ade50c48ebb5471584f9281ae45a11