Fix CEDAR_SDK_RUNTIME_VERSION in Travis.yml