doc/figs/vagrant-eclipse: Changed .PNG extensions to .png for consistency.