Is docker required to generate types for remote projects? - Supabase