travis: more elaborate host key disabling