Added description for CBC and CTR mode, as well as their security strength (theorem).
Added introduction to PK problem and a stub about Elliptic Curves (ECC)
Added build informations on README
Added a todo list, markdown formated for feature tracking purpose.
Added flushright locals for better readability of definitions and theorems
Change quotations marks to proper LaTex ones.
Change source names to more relevant ones
Added examples of build output. These files does not need to be updated with every commit, only from time to time (and with every major changes).
Format todo list into the github markdown flavour one
Added ignore rules for pdf and dvi output
Fix flushright and linebreaks in theorem and definition env. Also fix some unknwon ref and multiple defined labels.