v0.1.7

• Fixed a bug where we could not figure out what Docker image version to use. The method we used to use stopped working at some point, so I had to find a new creative way to find the corresponding branch in a detached git checkout.