Forgot to update title of lab 3 to 3 from 2
Link to lab 4 page
Blindly convert lab 4 tex to pdf
Move link to msft research code contracts user manual from intro to study material
Remove coming soon text
Last exercise of block 4 is so trivial it should not be optional
Merging 'master' into 'gh-pages'