Lucid dream startup says engineers can write code in their sleep. Work may never be the same