Fixed script update_header.sh to allow it to checkout a new directory/repo from the svn (not only update an existing one)