Don't clone Manticore in Docker image (#1300)
Don't clone Manticore in Docker image (#1300)

* Don't clone Manticore in Docker image

So people can build image from given Manticore version, if they want.

* Remove editable pip install mode

* Fix typo

* Dockerfile: Use LABEL instead of deprecated MAINTAINER

* Download binary solc 0.4.25

* Revert debug changes from different branch

trailofbits/manticore,montyly/manticore,trailofbits/manticore,trailofbits/manticore,montyly/manticore