Build server: rework test to find which tags to build

Most important change is to only mark a tag as built
when it's really successfully built.
Build server: also mark deliberately skipped tags as built
Build server: provide code to build local-only tags

This can be useful to rebuild a tag for windows only
after some fixes in the build system
Build server: additional verbosity changes in tag build