ddrname: add song 'no13'
ddrname: add song 'dropout'
ddrname: add song 'mysummerlove'
revtun: skip updating remove revtun port file when --local
revtun: use add ssh opts when writing port file
seedbox: cleanup ssh opts
seedbox: ignore knownhosts file in revtun ssh