Nightly builds of Isabelle/Eclipse

[andriusvelykis]

Provide nightly builds of Isabelle/Eclipse to test and download the latest versions.

This would allow people to test latest versions without building them manually. Provide easy download option.

[andriusvelykis]

Implemented in 2b9fe1420fef229819597938c8a9a0c3f7a65b85

Building Isabelle/Eclipse nightly at a Jenkins server provided by Newcastle University.

Also hosting downloads for Isabelle/Eclipse at the companion SourceForge project (since GitHub does not allow downloads anymore): http://sourceforge.net/projects/isabelleeclipse

The result nightly artifacts are deployed to the SourceForge file release system:

• Standalone: http://sourceforge.net/projects/isabelleeclipse/files/isabelle2013/isabelle-eclipse-ide/nightly/

• Nightly build update sites are also deployed to SourceForge, but should be accessed via canonical URL, which is also updated nightly:

  http://andriusvelykis.github.com/isabelle-eclipse/updates/isabelle2013/nightly/