adding Dockerfile to build from local source and extend README

Fix spelling errors

Update version in readme

Update README.md

v0.5.9 with Boogie support

Merge pull request argotorg#5416 from ethereum/develop

Merge develop into release for 0.5.0

Merge pull request argotorg#4957 from ethereum/develop_v0425

Merge to release for 0.4.25

Merge pull request argotorg#4148 from ethereum/develop

Merge develop into release for 0.4.24

Merge pull request argotorg#3950 from ethereum/develop

Merge develop into release for 0.4.23

Merge pull request argotorg#3892 from ethereum/develop

Merge develop into release for 0.4.22