Add comments to script/travis
Forcibly kill Docker when Travis ends

May fix tests timing out.