extract CEDAR_RUNTIME_SDK_VERSION in Rakefile