Use an addon index for 0.7.x versions#2214

Vankata453 wants to merge 1 commit intoSuperTux:masterSuperTux/supertux:masterfrom

Vankata453:0.7-addon-indexVankata453/supertux:0.7-addon-indexCopy head branch name to clipboard