Do not merge: Modify server

[jessicaguo]

Changes made for running code on the EFI server, do not merge into master

[dlebauer]

Note that this branch now conflicts with the master branch, perhaps due to a lot of renamed or deleted files? It might be a good time to resolve conflicts.

as seen above

git pull origin master
git checkout modify-server
git merge master
git status
# Fix the conflicts and commit the result.
git push -u origin modify-server