Tigress Version 1.1 Release Notes

1. Multiple bug fixes.
2. Added the --Environment option.
3. The --Transform=BranchFuns option was renamed --Transform=EncodeBranches.
4. The --EncodeBranchesKinds option was added, with values branchFuns, goto2push and goto2call.
5. Added the --Transform=RandomFuns option to generate challenge programs.