Cofoja 1.2

This release adds support for Java 8 and introduces a number of incompatible changes.

Feature changes:

• Added support for Java 8 lambdas.
• Removed support for javac options (conflict between Oracle Javac 8 and previous versions).
• Added support for @ContractImport annotation.
• Revamped and updated documentation bundled in the README.md file (documents almost all currently supported features).

Installation changes:

• Now builds with Oracle JDK 8. (Thanks to igoro@)
• Should also build on Windows. (Thanks to igoro@)
• Updated build.xml; now defaults to bootstrap.
• build.xml now requires Ant 1.9.1+.
• Cofoja now requires ASM 5+.

Migration recommendations:

• Pass the classpath, sourcepath and classoutput annotation processor options to Cofoja.
• Set the classpath annotation processor option to the same value as your main project classpath (see build.xml for an example macro using Ant).
• Add explicit @ContractImport annotations where imported names are used in contract code.