Release 8.5-alpha1

This is the first alpha release of GATE 8.5. The distribution zip file available here contains only the core of GATE Developer, the plugins are downloaded at runtime the first time they are required.