update resync-tool (translations, missing options, resync per server)

Florian Schaal

2015-02-14 25907aff4dfaad777cec70b1f5159d742601c682

interface/web/tools/resync_do.php does not exist in tree 5249cfc8cff0edfbb641dfaeef64f046d4e8ea05