Configuration and scripts for travis-ci