Docker: drop unnecessary git merge step
Docker: drop unnecessary git merge step

This PR has now been merged into KLEE which makes things a bit simpler

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools