Settings

@DavidKang Please CR, thanks!
These files should be removed from the repo. Even though you added `.vagrant` to the *gitignore*, these files won't disappear from the repo until you remove them.