changed default shell for vagrant user

scripts/addVagrantUser.sh

 #!/bin/sh -x
 
 # add user vagrant with password vagrant, set sudo, add public ssh key
-sudo useradd -p '$1$9bp.cPKY$BeaZIuXT4PyfJBnTu74c4.' --uid 900 --create-home vagrant
+sudo useradd -p '$1$9bp.cPKY$BeaZIuXT4PyfJBnTu74c4.' --uid 900 --create-home --shell /bin/bash vagrant
 echo "vagrant  ALL=(ALL)  NOPASSWD: ALL" | sudo tee /etc/sudoers.d/vagrant > /dev/null
 sudo sed -i "s/^.*requiretty/#Defaults requiretty/" /etc/sudoers
 sudo mkdir -p /home/vagrant/.ssh