revised server_version

primary source of version now is <minecraft.version> and fallback is
<version>
Due to different methods of tagging versions among server suites,
<minecraft.version> is always 100% right, but omits minor version
details.  <version> gets minor version, but sometimes omits data
entirely, e.g., 'dev-snapshot'