vagrant ssh-config が任意のホスト名指定可能だった

自分の勘違いだったんですが、以下の書式で ssh-config のホスト名指定可能でした
```bash
$ vagrant ssh-config --host HOSTNAME
```
※ Vagrantfile 内で指定できないのが微妙といえば微妙

なので、`vagrant ssh-config --host redmine-box >> ~/.ssh/config` とかやれば #3  の変更は必要ないのかなーと思いました。

現行の状態だと redmine-box のようなプロジェクトを複数持ってる場合に .ssh/config 内で default が潰されるので、他のプロジェクトとバッティングしないかなーというのも気になってます。

というわけで、 #3 の変更を戻そうと思うんですがいかがでしょうか。