Update process_wait() to wait forever. This is a temporary fix to allow the process to execute before pintos exits