Integration with Github

[skarampatakis]

Some times, linksets, or vocabularies are stored in git like services. Integration would allow automated update of changes made.