fixes for vagrant scripts due to name changing:

update name to wolfssl.
add question before sync.

Vagrantfile

@@ -2,21 +2,30 @@
 # vi: set ft=ruby :
 
 $setup = <<SCRIPT
+
 apt-get update
 apt-get install -y git autoconf libtool make valgrind libpq-dev
-cp -rp /vagrant/ cyassl/
 
-echo "cd cyassl"                                    >> .bashrc
-echo "echo -e '\e[0;32mRunning cyassl sync\e[0m'"   >> .bashrc
-echo "./pull_to_vagrant.sh"                         >> .bashrc
+SRC=vagrant
+DST=wolfssl
 
-cd cyassl
+cp -rp /$SRC/ $DST/
+
+echo "cd $DST"                                         >> .bashrc
+echo "read -p 'Sync $DST? (y/n) ' -n 1 -r"             >> .bashrc
+echo "echo # new line"                                 >> .bashrc
+echo 'if [[ \$REPLY =~ ^[Yy]$ ]]; then'                >> .bashrc
+echo "    echo -e '\e[0;32mRunning $DST sync\e[0m'"    >> .bashrc
+echo "    ./pull_to_vagrant.sh"                        >> .bashrc
+echo "fi"                                              >> .bashrc
+
+cd $DST
 ./autogen.sh
 ./configure
 make check
 
 cd ..
-chown -hR vagrant:vagrant cyassl/ /tmp/output
+chown -hR vagrant:vagrant $DST/ /tmp/output
 
 SCRIPT