[e-lang] Joe-E 2.0 Release

[Adrian Mettler]

Joe-E 2.0 has been released, and is now a bona-fide open source project 
with all the trappings (like public svn and an issue tracker).  Check it 
out at

http://joe-e.googlecode.com

The eclipse update site for the verifier plug-in proper is now
http://eclipse.joe-e.org
which resides within the svn repository.  This will make it easier to 
push out new releases, so they should be more up to date.

New verifier features include:
- support for safej format for specifying taming decisions
- validation of consistency of safej policies
- taming errors give explanation of why member was disabled, based on 
safej comment
- ability to enable/disable verifier on a per-package basis
- auto-generation of safej and Policy files for runtime taming enforcement
- bug fixes

New library features include:
- real runtime taming enforcement
- builders for array classes
- documentation improvements

As always, feedback is welcome.