alias to ssh to ot machine with 'sshot 6' or 'sshot 7'