Merge branch 'patch-1' into 'master'

Update bootstrap.sh to gitlab.redox-os.org instead of github.com

See merge request redox-os/redox!1190

bootstrap.sh

@@ -470,7 +470,7 @@ statusCheck() {
 boot()
 {
 	echo "Cloning github repo..."
-	git clone https://github.com/redox-os/redox.git --origin upstream --recursive
+	git clone https://gitlab.redox-os.org/redox-os/redox.git --origin upstream --recursive
 	rustInstall
 	if [[ "`cargo install --list`" != *"xargo"* ]]; then
 		cargo install xargo