A pair of over-the-ear sleep-sensing headphones that deliver stereo audio, block outside noises, optionally track sleep, using sleep tracking information to enhance the presentation of curated programs and deliver neurofeedback to enhance users' sleep; and associated operating software