#514: rework Erlang/OTP version detection
#518: detect sdk version in small ides, rename 'R17' to '17'