Yes, I have thought of that as well - I just didn't do anything about it yet. The tool is a free project (as not quite GPLisch): https://github.com/texane/stlink
We could either include the source in our dist directory or just link it from the documentation - how about creating a stm32 page in the wiki where we can give an introduction on how to compile and use the tool?!