v2.0.1

This is effectively a re-release of v2.0.0, as the CI was disabled by GitHub, thus no image was pushed.

CI

Added support for manually kicking off the CI.