.ssh/config completely generated from boxer

* old .ssh/config is discarded
* new .ssh/config is generated automatically