Add Android (ARMv8-A) to the nightlies index page

This adds Android (ARMv8-A) to the list of operating systems
on the nightly builds index page, as requested by refp on IRC.