Add armel to Debian dists in repo

Closes #7