New mobile app may help PTSD patients deal with nightmares