[virtual] remove old web-dev vm and create a new one

Author: Dimitri DELABROYE

data/grid5000/sites/lyon/servers/web-dev.json renamed to data/grid5000/sites/lille/servers/web-dev.json

@@ -2,7 +2,7 @@
   "kind": "virtual",
   "network_adapters": {
     "default": {
-      "ip": "172.16.63.129"
+      "ip": "172.16.47.135"
     }
   },
   "type": "server",

data/grid5000/sites/nancy/servers/web-dev.json

@@ -249,7 +249,7 @@ git-archive:
   kind: virtual
   network_adapters:
     default:
-      ip: 172.16.47.114              
+      ip: 172.16.47.114
 
 mysql-archive:
   kind: virtual
@@ -262,3 +262,9 @@ oardb-archive:
   network_adapters:
     default:
       ip: 172.16.47.154
+
+web-dev:
+  kind: virtual
+  network_adapters:
+    default:
+      ip: 172.16.47.135

input/grid5000/sites/lille/servers/virtual.yaml

@@ -79,9 +79,6 @@ kadeploy-devel:
 kwapi:
   kind: virtual
   network_adapters: {default: {ip: 172.16.63.127}}
-web-dev:
-  kind: virtual
-  network_adapters: {default: {ip: 172.16.63.129}}
 puppet4:
   kind: virtual
   network_adapters: {default: {ip: 172.16.63.130}}

input/grid5000/sites/lyon/servers/virtual.yaml

@@ -94,9 +94,6 @@ kwapi:
 backup-local:
   kind: virtual
   network_adapters: {default: {ip: 172.16.79.158}}
-web-dev:
-  kind: virtual
-  network_adapters: {default: {ip: 172.16.79.159}}
 jenkins:
   kind: virtual
   network_adapters: {default: {ip: 172.16.79.160}}