Makefile: download insecure vagrant key on demand