This page has moved to http://ulthiel.com/math/teaching-org/magma-course-2014/.