Add drone.io badge.
Vim: my agda-vim fork can sort that out itself.