build: Changes the username from aiy to mendel

We shouldn't use non-Mendel branded names in our packages and usernames.

Change-Id: Id10b37864d7f1c9e24e1b93ef0eff04b31795b2b
diff --git a/board.sh b/board.sh
index 751fe2b..5261387 100755
--- a/board.sh
+++ b/board.sh
@@ -23,9 +23,9 @@
     fi
 
     local ssh_pub_file_contents="$(cat ${SSH_PUB_FILE})"
-    try ssh ${SSH_OPTIONS} -C aiy@${BOARD_IP_ADDRESS} " \
-        mkdir -p /home/aiy/.ssh; \
-        echo '${ssh_pub_file_contents}' >/home/aiy/.ssh/authorized_keys"
+    try ssh ${SSH_OPTIONS} -C mendel@${BOARD_IP_ADDRESS} " \
+        mkdir -p /home/mendel/.ssh; \
+        echo '${ssh_pub_file_contents}' >/home/mendel/.ssh/authorized_keys"
 }
 
 function command::setup-key
@@ -36,7 +36,7 @@
         try ssh-keygen -f "${SSH_KEY_FILE}" -N "" >/dev/null
     fi
 
-    echo "Copying keyfile to board (you may be prompted for aiy's password -- it's 'aiy')..."
+    echo "Copying keyfile to board (you may be prompted for mendel's password -- it's 'mendel')..."
     copy-key
     echo "Done."
 }
@@ -59,10 +59,10 @@
     fi
 
     copy-key
-    try scp ${SSH_OPTIONS} -C "${filename}" aiy@${BOARD_IP_ADDRESS}:/tmp
+    try scp ${SSH_OPTIONS} -C "${filename}" mendel@${BOARD_IP_ADDRESS}:/tmp
 
     local basename=$(basename "${filename}")
-    try ssh ${SSH_OPTIONS} -Ct aiy@${BOARD_IP_ADDRESS} " \
+    try ssh ${SSH_OPTIONS} -Ct mendel@${BOARD_IP_ADDRESS} " \
         sudo dpkg -i /tmp/${basename}; \
         sudo apt-get -f -y install"
 }
@@ -77,7 +77,7 @@
     fi
 
     copy-key
-    try scp ${SSH_OPTIONS} -C "${source_path}" "aiy@${BOARD_IP_ADDRESS}:${dest_path}"
+    try scp ${SSH_OPTIONS} -C "${source_path}" "mendel@${BOARD_IP_ADDRESS}:${dest_path}"
 }
 
 function command::pull
@@ -90,7 +90,7 @@
     fi
 
     copy-key
-    try scp ${SSH_OPTIONS} -C "aiy@${BOARD_IP_ADDRESS}:${source_path}" "${dest_path}"
+    try scp ${SSH_OPTIONS} -C "mendel@${BOARD_IP_ADDRESS}:${source_path}" "${dest_path}"
 }
 
 function command::shell
@@ -102,9 +102,9 @@
     copy-key
 
     if [[ ! -z "$@" ]]; then
-        ssh ${SSH_OPTIONS} -Ct aiy@${BOARD_IP_ADDRESS} "$@"
+        ssh ${SSH_OPTIONS} -Ct mendel@${BOARD_IP_ADDRESS} "$@"
     else
-        ssh ${SSH_OPTIONS} -Ct aiy@${BOARD_IP_ADDRESS}
+        ssh ${SSH_OPTIONS} -Ct mendel@${BOARD_IP_ADDRESS}
     fi
 }
 
@@ -115,7 +115,7 @@
     fi
 
     copy-key
-    ssh ${SSH_OPTIONS} -Ct aiy@${BOARD_IP_ADDRESS} "sudo reboot"
+    ssh ${SSH_OPTIONS} -Ct mendel@${BOARD_IP_ADDRESS} "sudo reboot"
 }
 
 function command::reboot-bootloader
@@ -125,7 +125,7 @@
     fi
 
     copy-key
-    ssh ${SSH_OPTIONS} -Ct aiy@${BOARD_IP_ADDRESS} "sudo reboot-bootloader"
+    ssh ${SSH_OPTIONS} -Ct mendel@${BOARD_IP_ADDRESS} "sudo reboot-bootloader"
 }
 
 function command::help
diff --git a/push.sh b/push.sh
index 8d47b1e..0040baf 100755
--- a/push.sh
+++ b/push.sh
@@ -28,6 +28,6 @@
 
 filename="$(basename ${package})"
 
-scp -oUserKnownHostsFile=/dev/null -oStrictHostKeyChecking=no -C "${package}" aiy@192.168.100.2:/tmp
-ssh -oUserKnownHostsFile=/dev/null -oStrictHostKeyChecking=no -Ct aiy@192.168.100.2 sudo dpkg -i "/tmp/${filename}"
-ssh -oUserKnownHostsFile=/dev/null -oStrictHostKeyChecking=no -Ct aiy@192.168.100.2 sudo apt-get -f -y install
+scp -oUserKnownHostsFile=/dev/null -oStrictHostKeyChecking=no -C "${package}" mendel@192.168.100.2:/tmp
+ssh -oUserKnownHostsFile=/dev/null -oStrictHostKeyChecking=no -Ct mendel@192.168.100.2 sudo dpkg -i "/tmp/${filename}"
+ssh -oUserKnownHostsFile=/dev/null -oStrictHostKeyChecking=no -Ct mendel@192.168.100.2 sudo apt-get -f -y install
diff --git a/shell.sh b/shell.sh
index 912f011..ac7eace 100755
--- a/shell.sh
+++ b/shell.sh
@@ -14,4 +14,4 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
-ssh -oUserKnownHostsFile=/dev/null -oStrictHostKeyChecking=no -Ct aiy@192.168.100.2
+ssh -oUserKnownHostsFile=/dev/null -oStrictHostKeyChecking=no -Ct mendel@192.168.100.2