Add --with-dtevelop at travis.yml