Add armhf architecture to repo on gh-pages, to support Raspberry Pi.