restart travis build
Merge branch 'devel'