fix ./sync_results.sh
since takobasu changed its ssh port, we need to make a clean update to ./sync_results.sh
to use the new port. (I hot fixed it in the mean time).
In addition, we should move the script in a subdirectory, cluttering the repository root seems suboptimal.