specification: added two more informative type

This adds the "repo_url" and "synthesis" records, that are already
used in one of your projects.

Thanks to Matthieu Cattin for his help in designing the structures
and actually implementing them.

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>