1) removed the outdated examples (will add a way to include per-project examples in the config file)
2) Better documentation about supported queries. The hyperlinks now take the user to the exact place where that query is explained in the Coq manual