Added filetype for Vagrantfile