Tools: build_ci.sh: build with no/all options enabled

More chance of catching problems, and these are relatively cheap

Tools/scripts/build_ci.sh

@@ -380,6 +380,11 @@ for t in $CI_BUILD_TARGET; do
              --board=CubeOrange \
              --build-targets=copter \
              --build-targets=plane
+        echo "Checking all/none options in build_options.py work"
+        time ./Tools/autotest/test_build_options.py \
+             --no-disable-in-turn \
+             --build-targets=copter \
+             --build-targets=plane
         continue
     fi