Removed old atdgen tutorial, now at
https://mjambon.github.io/atdgen-doc/tutorial