compilers-supplementary

Update cache_docker.yml

Update Dockerfile

Update Dockerfile

Update Dockerfile

Update README: add link to lecture notes and tables with results and deadlines