Fixed the comment for tee names in deploy_enclaves script

docker/deploy_enclaves.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 #To exit a tmux session, use Ctrl+B and then press D. 
-#To enter a tmux session, use tmux at -t <session_name> where session_name is decryptor, verifier or phpext.
+#To enter a tmux session, use tmux at -t <session_name> where session_name is decryptor, verifier or php_server.
 #List existing sessions by pressing tmux ls.
 
 cd ~/graphene && make SGX=1 sgx-tokens