Review Request: 8001895: build-infra: Make JDK_BUILD_NUMBER and MILESTONE customizable

[Erik Joelsson]

I've added configure options for milestone and build number so that they 
can be customized.

http://cr.openjdk.java.net/~erikj/8001895/webrev.root.01/
/Erik