Push dataset infos.json to Hub
MEMBER
The change from `___` to `--` was allowed by https://github.com/huggingface/moon-landing/pull/1657
2021-12-21T14:52:35Z
https://github.com/huggingface/datasets/pull/3467#issuecomment-998842328
https://api.github.com/repos/huggingface/datasets/issues/3467
IC_kwDODunzps47iR_Y
https://api.github.com/repos/huggingface/datasets/issues/comments/998842328/reactions
2021-12-21T14:52:35Z
https://api.github.com/repos/huggingface/datasets/issues/comments/998842328
https://avatars.githubusercontent.com/u/42851186?v=4
https://api.github.com/users/lhoestq/events{/privacy}
https://api.github.com/users/lhoestq/followers
https://api.github.com/users/lhoestq/following{/other_user}
https://api.github.com/users/lhoestq/gists{/gist_id}
https://github.com/lhoestq
lhoestq
MDQ6VXNlcjQyODUxMTg2
https://api.github.com/users/lhoestq/orgs
https://api.github.com/users/lhoestq/received_events
https://api.github.com/users/lhoestq/repos
https://api.github.com/users/lhoestq/starred{/owner}{/repo}
https://api.github.com/users/lhoestq/subscriptions
User
https://api.github.com/users/lhoestq
public
When doing `push_to_hub`, the feature types are lost (see issue https://github.com/huggingface/datasets/issues/3394).
This PR fixes this by also pushing a `dataset_infos.json` file to the Hub, that stores the feature types.

Other minor changes:
- renamed the `___` separator to `--`, since `--` is now disallowed in a name in the back-end.

I tested this feature with datasets like conll2003 that has feature types like `ClassLabel` that were previously lost.

Close https://github.com/huggingface/datasets/issues/3394

I would like to include this in today's release (though not mandatory), so feel free to comment/suggest changes