Update exit () syscall to print correct termination message

src/userprog/syscall.c

@@ -105,6 +105,7 @@ syscall_exit (int status)
 {
   /* Sets exit_status of the thread to status. thread_exit () will call
      process_exit () if user programs are allowed. */
+  printf ("%s: exit(%d)\n", thread_current()->name, status);
   thread_current ()->exit_status = status;
   thread_exit ();
 }