Remove unused docker-doxygen Dockerfile. Switch scripts/run-doxygen.sh from bash to sh. Use docker.io/alpine image instead of unsupported hrektts/doxygen