Make the roadmap of the library more explicit and add dates

[Zimmi48]

Many people are eager to contribute to the stdlib2 project so it would be very useful if a more specific roadmap could be shared and regularly updated, and it should ideally include dates of expected milestones. In particular, we need to ensure that the preliminary phases do not last too long so that the collaborative phases can start (even if only for experimenting). In any case, more transparency on what's being done would help people hold their breath.

[gmalecha]

Would it make sense to move the project planning into the github projects feature on this repository?

As a concrete item for moving things forward, I'd like to make a list of all the current "non-standard" "standard" libraries, e.g. stdpp, ext-lib, coq-haskell, coq-prelude, etc. Where should I put such a document? I was considering putting it inside the wiki, but I'm not sure if the wiki is enabled.

[maximedenes]

Where should I put such a document? I was considering putting it inside the wiki, but I'm not sure if the wiki is enabled.

I think the wiki is the right place, and it seems enabled.

[Zimmi48]

The wiki was not in write-access for non committers. I've changed this.

[gmalecha]

Thanks. I started a page for the libraries that I am aware of.

[gmalecha]

I asked the developers of other libraries that I am aware of to contribute notes about their work to the wiki page and we've gotten some feedback. I'm wondering if there is a way to build some plans or at least concrete experiments based on some of the high-level insights there.