[bug 971089] Remove scripts for jenkins. Update bots docs.

r?