Scripts for the testbot Bootstrap: $ wget https://raw2.github.com/casadi/testbot/master/bootstrap.sh && sh bootstrap.sh