add nginx for theia dev

deployment/nginx.conf

@@ -34,6 +34,15 @@ server {
 	proxy_buffering off;
     }
     
+    location /dev {
+    	rewrite /dev/(.*) /$1 break;
+	rewrite ^/dev$ /dev/ permanent;
+	proxy_pass http://theia:3000;
+	#proxy_redirect / /etherpad/;
+	proxy_set_header Host $host;
+	proxy_buffering off;
+    }
+    
     location / {
     	include uwsgi_params;
         uwsgi_pass unix:///tmp/uwsgi.sock;