Release official Docker image + pixel exact image tests#222

Merged

antoinerg merged 16 commits intomasterfrom

Jun 21, 2019

Commits on Mar 19, 2019

adapt Dockerfile's entrypoint for end-user, update doc
antoinerg
committed

Commits on Apr 17, 2019

Commits on Apr 25, 2019

Commits on Apr 26, 2019

add shell script to call Orca in Docker
antoinerg
committed

Commits on Apr 30, 2019

Commits on Jun 21, 2019