Update Dockerfile
A few changes:
-
apt-get
command updated to follow Docker best practices - Move the copying of source files to later layers of the Dockerfile since they are more likely to change more often (and thus avoid rerunning of apt-get commands)
- Add comments to clarify how to modify the file from the student POV