RFR: JDK-8140591: Add configure argument specifying make executable in JPRT

[Erik Joelsson]

I've noticed that on some linux systems (maybe even all OEL6 and 7), 
there is a /usr/bin/gmake binary. Configure unfortunately picks up this 
gmake instead of the make binary we explicitly put first in the path. 
I've fixed this by adding a configure parameter in make/jprt.properties 
in the jdk9 source.

We have reports of make crashing in certain situations and I believe 
using gnu make 4.0 in JPRT, as has been intended, will fix this problem.

In addition to this, I also fixed some issues with setting MAKE= on the 
configure command line. Configure complains that it doesn't recognize 
MAKE as a valid parameter. It was also not possible to set just an 
executable name, just an absolute path. I fixed this by rewriting the 
make detection to use the BASIC_SETUP_TOOL macro which already 
implements all of this properly.

Bug: https://bugs.openjdk.java.net/browse/JDK-8140591
Webrev: http://cr.openjdk.java.net/~erikj/8140591/webrev.01/

/Erik