Initial commit with first two examples, Alice-Bob and Cloak of Darkness.