fixed a constraints generation bug in Multiple

./scripts/symbolic2 tests/unit/compos1 0
./scripts/symbolic2 tests/unit/compos2 0
./scripts/symbolic2 tests/unit/compos3 0
./scripts/symbolic2 tests/unit/integer10 0
updated documentation
fixed a problem with Readme
fixed some documentation errors
more fixes to README.md
added two more web apps to README.md