buildbuddy-v4.9.4

BuildBuddy release patch

- Disable docker pushes
- Release buildbuddy-v* tags instead of v* to avoid conflicts