Add libsddl to repo manifest