TT#23004 Undo dev environment

Change-Id: I4556201095f14b83d47274e2bb1abd18ac99a8b5

script/revert-vagrant-dev-env.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+
+for i in $(find /usr/ -name "*.orig"); do
+    f=${i%.orig};
+    if [ -L "$f" ]; then
+        echo "reverting $i to $f"
+        rm $f
+        mv $i $f
+    fi
+done