Added travis-ci specification