Aiza

Basic outline for Aiza. Added the 'Byzantine Generals Election' abstraction to the paper.