Revert "Continuous Integration & Deployment"

This reverts commit 81023223.

.gitlab-ci.yml

-variables:
-  GIT_SSL_NO_VERIFY: "true"
-
-stages:
-  - build
-  - deploy
-
-build:
-  stage: build
-  image: eur0c.laas.fr:4567/stack-of-tasks/pinocchio-tutorials/build
-  script: cmake . && make
-  artifacts:
-    paths:
-      - html
-    expire_in: 1 week
-
-deploy:
-  stage: deploy
-  image: eur0c.laas.fr:4567/stack-of-tasks/pinocchio-tutorials/deploy
-  before_script:
-    - mkdir -p ~/.ssh
-    - eval $(ssh-agent -s)
-    - ssh-add <(echo "$SSH_PRIVATE_KEY")
-    - echo "$SSH_SERVER_HOSTKEYS" > ~/.ssh/known_hosts
-  script: "scp -r html/* gitlab@iwaki.laas.fr:/var/www/html/"
-  environment:
-    name: iwaki
-    url: http://iwaki.laas.fr

cicd/Dockerfile.build

-FROM ubuntu:16.04
-
-RUN apt-get update -qqy && apt-get install -qqy \
-   asciidoc \
-   cmake \
-   g++ \
-   source-highlight \
-   && rm -rf /var/lib/apt/lists/*

cicd/Dockerfile.deploy

-FROM ubuntu:16.04
-
-RUN apt-get update -qqy && apt-get install -qqy \
-   openssh-client \
-   && rm -rf /var/lib/apt/lists/*

cicd/update.sh

-#!/bin/bash
-
-NAME=eur0c.laas.fr:4567/stack-of-tasks/pinocchio-tutorials
-
-for stage in build deploy
-do (
-    docker build -t $NAME/$stage -f Dockerfile.$stage .
-    docker push $NAME/$stage
-    ) &
-done
-
-wait