We have spent decades optimizing our waking hours, but what about the precious hours after we doze off (or try to)?