Updating the Docker container to use the binaries directly from Conjure rather than having redundant installations. Tentative due date Tuesday 19th. This should be done on the earlier side, so that the container can then be used to analyze the framework itself.