Merge branch 'new-toolchain' into 'master'

Update to new toolchain

See merge request redox-os/ion!928

.gitlab-ci.yml

@@ -26,11 +26,10 @@ redox:
     CC: "x86_64-unknown-redox-gcc"
   before_script:
     - apt-get update -qq
-    - apt-get install -qq build-essential curl git gnupg software-properties-common apt-transport-https
-    - apt-key adv --keyserver keyserver.ubuntu.com --recv-keys AA12E97F0881517F
-    - add-apt-repository 'deb https://static.redox-os.org/toolchain/apt /'
-    - apt-get update -qq && apt-get install -qq x86-64-unknown-redox-gcc
-    - rustup default nightly-2018-10-05
+    - apt-get install -qq tar
+    - wget -O - https://static.redox-os.org/toolchain/x86_64-unknown-redox/relibc-install.tar.gz |
+      tar --extract --gzip --directory /usr/local
+    - rustup default nightly-2018-11-07
     - rustup target add x86_64-unknown-redox
   script:
     - make TOOLCHAIN= REDOX=1