ci building tools
We are now making build tools from the ci. We discarded the debug builds because they were too big for the gitlab artifact system. Builing windows tools with mingw fails, so tools are built only for linux. Made python script unbuffered so we can see the output of the program live in the CI.
Showing with 10 additions and 5 deletions