Few extra updates of CI/CD config and Docker releases

Fix of CI/CD config

Automatic DockerHub releases (version bumped to v0.18.1 to test it)

Bump version number

Bump version number

Merge pull request Consensys#212 from ConsenSys/revert-211-features/i…

…ntegerpool

Revert "Run overflow detection in a thread pool"

Bump LASER version

Bump version number

Bump laser version