Add tasks 1.5-1.9,1.11 to Distinguishing Unitaries Kata

[jkingdon-ms]

This resolves part of #1185 .

[tcNickolas]

Great work (and a lot of it too)!! I left some comments but they're mostly formatting/readability improvements.

I also realized that I was too optimistic about removing "from" from the operation names in the first four tasks - once we get to "distinguishing Y from XZ", that convention falls apart... Would you mind going back to the first four tasks and adding "from" to the titles too, so that operation names are uniform across the whole kata?

Thank you!!

[tcNickolas]

Looks great! I verified that the changes to the unpublished kata build and pass the tests locally, so we can merge (and we'll re-run all tests in the PR that publishes it).

Thank you!

[tcNickolas]

Sorry, I missed one unresolved conversation that shows as outdated because of another change in that file: https://github.com/microsoft/qsharp/pull/1572/files/1268f8e311cc0fde90de3a75157eb1dce53d99e9#r1619438948 , to add a reminder of Rz and R1 gates to the description of that task rather than to its solution, same as we did for Rz and Ry in a later task.

Can you please do that final fix before merging this? Thank you!