Ltac2: Tuto Ltac2 for Ltac1 users

[thomas-lamiaux]

Write a tutorial about Ltac2 for people that already know Ltac1 explaining the changes and the reasons for that.
Maybe adpat https://github.com/tchajed/ltac2-tutorial with the agreement of @tchajed