A Vagrant 1.2-compatible plugin for managing host file entries on hosts and guests