A git clone of the gecode svn development repository.