Set version of magma to 1.8-SNAPSHOT