Use CI image with an unprivileged user student, which has no-password sudo
powers, such that the installation snipped from the README.md can be executed
directly.