Merge branch 'dev' into 'master'

CHANGELOG.md

VERSION.md

docker/README.md

docker/anaconda/Dockerfile

docker/anaconda/Makefile

docker/anaconda/note.txt

docker/anaconda/unite-conf/anaconda.properties

docker/anaconda/unite-conf/anaconda.rdf

docker/facebook-infer/Dockerfile

docker/facebook-infer/Makefile

docker/facebook-infer/unite-conf/infer.properties

docker/facebook-infer/unite-conf/infer.rdf

docker/theta/Dockerfile

docker/theta/Dockerfile-alt

docker/theta/Makefile

docker/theta/unite-conf/theta-xcfa-cli.properties

docker/theta/unite-conf/theta-xcfa-cli.rdf

docker/theta/unite-conf/theta-xsts-cli.properties

docker/theta/unite-conf/theta-xsts-cli.rdf

docker/unite-only/Dockerfile