Subversion: revert file to older revision