Test examples also with --no-dev in Travis CI