TLA directory where to add the TLA+ files and their corresponding Latex files, if any