Remove paper summaries
Rename 'report' to 'dissertation'
One global .gitignore
Fix rule of consequence use in Hoare proof