Add new variables to BANNER(_TOR)

$SERVER_VER will return the version number (eg: 1.0.10)
$SERVER_SUBVERSION will return the full version string (eg: ElectrumX 1.0.10)

$VERSION is kept for legacy which is the same as $SERVER_SUBVERSION

server/session.py

@@ -289,7 +289,9 @@ class ElectrumX(SessionBase):
         revision //= 100
         daemon_version = '{:d}.{:d}.{:d}'.format(major, minor, revision)
         for pair in [
-                ('$VERSION', version.VERSION),
+                ('$VERSION', version.SUB_VERSION), # legacy
+                ('$SERVER_VERSION', version.VERSION),
+                ('$SERVER_SUBVERSION', version.SUB_VERSION),
                 ('$DAEMON_VERSION', daemon_version),
                 ('$DAEMON_SUBVERSION', network_info['subversion']),
                 ('$DONATION_ADDRESS', self.env.donation_address),

server/version.py

@@ -1,5 +1,6 @@
 # Server name and protocol versions
 
-VERSION = 'ElectrumX 1.0.10'
+VERSION = '1.0.10'
+SUB_VERSION = 'ElectrumX {}'.format(VERSION)
 PROTOCOL_MIN = '1.0'
 PROTOCOL_MAX = '1.0'