[REUSE] reuse-tool version 0.12 available