Dockerfile for Jia and some convenience tooling