Add documentation about the Docker judge#479

Bond-009 wants to merge 8 commits intododona-edu:maindodona-edu/dodona-edu.github.io:mainfrom

Bond-009:docker-docsBond-009/dodona-edu.github.io:docker-docsCopy head branch name to clipboard