Add TATL documentation#66

NicEastvillage wants to merge 4 commits intoUPPAALModelChecker:mainUPPAALModelChecker/docs.uppaal.org:mainfrom

NicEastvillage:tatlNicEastvillage/docs.uppaal.org:tatlCopy head branch name to clipboard