[devtools] Small script to setup overlays automatically

This is very preliminary but you should get the idea. The script tries
to build contribs, then creates a branch and sets the remote properly
as to submit a PR.

Usage example:
```
./dev/tools/create_overlays.sh ejgallego 9999 ltac2 elpi
```

This only works for contributions hosted in github for now.

0 files changed, 0 insertions, 0 deletions