[specgen] A program generating pubspec.yaml automatically.