Updated READMEs, cleaned up DSC Vagrantfile