To set up geoserver:
First you need Java runtime environment version 8. Important, not 9, only 8 works with geoserver.
Then install geoserver. It will ask for the jre folder, and the port number you want to use. I had problems using the default 8080; it crashed without any error message. Changing it seemed to solve that problem.
Then once you get into the web admin page and log in, you can follow the online documentation for getting started. Basically, you set up a workspace, then a data store which points to the data you want to access. Then you set up a layer, and select the data store. This part defines the publishing parameters, but so far I'm pretty hazy on what all this means.
At this point, select the Layer Preview page, and click on the OpenLayers link. This will open a new tab where you should see the data, and which you can click on and it will return altitude values.
This is the URL I've been trying to use in config.php, so far without success. It gets no response to the GetFeatureInfo request. I'm guessing it's some setting up that still needs to be done in geoserver. I'll try the forum to see if some expert can offer some help