Add toplevel 8sync.scm file.