Dynamic menu for entries in ~/.ssh/config implemented