Dockerfile can't be specified to be used by CI.
Instead copying Dockerfile steps into the CI file

Build seen to work locally, now to test in CI

Create code listings with tex files (not in build sys yet)