Don't add empty entries to Halo sends
Merge pull request #357 from firedrakeproject/no_empty_halo_sends

Don't add empty entries to Halo sends