Reload UI on server upgrade.
    
    The JSON server has been modified to return the version number
    in all responses. The UI has been modified to keep the version
    obtained during env operation and check the version returned
    in subsequent operations. If the version changes the UI will
    reload itself.
    
    Ticket #946