Don't install [dev] extra in Travis config