VOL-3281 add all repos by default

it is better add all the repos as we check them as well, if we
add repos only based on `WITH_X` settings the logic gets more
complicated than it is worth

Change-Id: Ia8c0c282ae44792f83dbd643da6eabcf4f07b507
diff --git a/VERSION b/VERSION
index 6b244dc..f8ee15f 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-5.0.1
+5.1.0-dev