(travis) Update travis configuration (and use syntax check)