Bug#789771: mono: please add arm64

[Jo Shields]

I've added ARM64 to debian/ for upstream CI packages, but we don't have
any ARM64 hardware hooked up yet (we're in the process of buying some)