Update Docker images

• Update base Docker image (Ubuntu 20.04 -> Ubuntu 22.04)
• Create separate Docker image for dependencies (avoids to reinstall dependencies at each commit; image is only rebuilt when dependencies change).