dx ssh: use host key alias; check for presence of host key at timeout