Management of Rubedo automated for bash
Add composer extensions.json to gitignore and rename
Rubedo install/update for windows (.bat)
Merge remote-tracking branch 'origin/next' into next