Merge pull request #10 from pdehaye/master

More Kohlhase
Adding generic blurb about the university. Can be shortened - best done
once we have the equivalent sections from all partners.

This text snippet came from Southampton's EU office.
LaTeX fix + added feature for the persistent memoization task
Updated proposal.pdf
Added answers to Wolfram's questions in the outline
Updated aims and objectives