Baked gnocchi with broccoli