revert to checkout; much more convenient than export

sbin/dm_install_support.sh

@@ -31,7 +31,7 @@ execute() {
 if [ ! -d $DM_SUPPORT_DIR ]; then
     echo "Creating new DM support directory $DM_SUPPORT_DIR."
     cd `dirname $DM_SUPPORT_DIR`
-    execute svn export $DM_SVN_URL/support support
+    execute svn co $DM_SVN_URL/support 
 fi
 cd $DM_SUPPORT_DIR
 execute svn update