Update of mediawiki library, discovery service and resolve101meta

* resolve101meta now uses the library function provided in mediawiki library

* mediawiki library now has a Sesame module, that can be used to query the datastore
* mediawiki library now has functions to convert from Github NS to Wiki NS and the other way round

Changes in the discovery service:
* all triples known for a resource are now included (JSON only for now)
* it uses the library function for converting headlines
* for a file, terms will also be included