Reactivated dev tools in scripts and Travis CI config file