Merge pull request #2 from deib-polimi/master

availability bug fixing
log fix
Update README.md
Update README.md
Update README.md
Bug fix
Merge remote-tracking branch 'upstream/master'