Remove archive directory, now available as separate git module ssh://git.indexdata...