Added README for the Dijstra protocol model in VDM-SL
Bump tycho to 0.19.0
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
Merge branch 'origin/kel/astv2'
Merge remote-tracking branch 'origin/development' into ncb/development
Change the profiles in ide/pom.xml to

* Autodetect mac and linux as well as windows
* Build both 32/64bit versions for win and linux (only 64bit for mac)

Maven uses OR on activation conditions (despite being documented as AND)
so the original (windows && 64bit) condition was activating on all 64bit
machines.  We now activate only on os type, but build both versions.

Building for all platforms now requires -Pall-platforms -P!mac (or
whichever platform) to disable to autodetected profile (note that the !
needs to be escaped in a bash shell, as -P\!mac).

Fixes #259
fixed issue with profile ordering in the ide pom
Merge branch 'origin/crescendo/development'
Merge branch 'origin/pvj/main'
Merge branch 'origin/kel/astv2'
Change the profiles in ide/pom.xml some more to build only the current
architecture (32 vs 64bit).  Ordering of profiles is such that the
-Pall-platforms will supersede the autoactivated profiles on most
machines.

(really) Fixes #259
Merge branch 'origin/test'

Conflicts:
	ide/pom.xml
Merge commit 'b89c2b47c73a5ed135eac8e4b3df5adc846131dc' into crescendo/development
fixed issue with explicit infinit recursion for hashcheck of bracket types.
Merge branch 'origin/test'