add maxisat to ssh config
clean up ssh config