Add theory file containing all ISO 9798 protocols.
Added non-parallel proof for all protocols in a single file.
Differentiate between UD and BD variants for 2_5 and 2_6