* move docker-hub-helper in a general ci folder * move installation of tools into dedicated script (will make it easier to use a different ci platform) * mention the setup-tools script in contributing and move testing instructions in there as well