optimized server_version()

rewrote for loop to not require n opens of the ZipFile, but instead one
open with many membership tests (excessive exceptions expected
otherwise)