Include results of covering spaces in index.agda.