README.md

Notes:

The first step is to update "build.properties" with your local settings. You do not need to set z3 and latte, but in that case some unit tests won't run.