add nginx dev and dev docker

deployment/nginx.conf

@@ -36,24 +36,7 @@ server {
         proxy_set_header Host $host;
         proxy_buffering off;
     }
-    location /dev {
-        rewrite_log on;
-        rewrite /dev/(.*) /$1 break;
-        rewrite ^/dev$ /dev/ permanent;
-        proxy_set_header Host $host;
-        proxy_set_header Proxy "";
-        proxy_set_header Upgrade $http_upgrade;
-        proxy_set_header Connection "Upgrade";
-        proxy_set_header X-Real-IP $remote_addr;
-        proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for;
-        proxy_set_header X-Forwarde-Proto $scheme;
-        
-        
-        proxy_buffering off;
-
-        proxy_pass http://theia:3000;
-        #proxy_redirect / /etherpad/;
-            }
+    
     
     location / {
         include uwsgi_params;