LabyrinthDoc: Add initial tex file