Added README for the Dijstra protocol model in VDM-SL
Adding two new VDM-SL examples
Merge remote-tracking branch 'origin/test' into docs
Add self-update site to p2 instructions in product bundle.
Fixes #71