Suggested changes for Build Group Page (add jdk9 and build-infra links)

[Martijn Verburg]

Hi all,

Was just looking at http://openjdk.java.net/groups/build/ and noticed that
there's no links for:

1.) jdk9 build docs -
http://hg.openjdk.java.net/jdk9/build/raw-file/tip/README-builds.html ?
2.) The build-infra-dev mailing list - (Is build-dev effectively
dead/dormant now?)

I think there were also some personnel reshuffling.

Cheers,
Martijn