really bump tool version to 0.8.1
really bump tool version to 0.8.1


Former-commit-id: 3b988949b3dc62ed566e89823700aa0dc328b94f
Former-commit-id: 5ab6c819afcaa2ef2a707a1ad82b25b6af10bde2 [formerly 0f7bb1e687b338f01d85cfc3a9375ee6e508b8e0] [formerly 99d6040850dee77597f088df0b428026e5345a16 [formerly be3e39feb5c9d1afea12a47f8b00f6130f2819c2]]
Former-commit-id: 6bd6fdcfa8176809674fa5d73c744563f4bcc26e [formerly b6a229e5cf932e1868c5b7622e882ad87a7f870e]
Former-commit-id: 56d3fd4b4a57ce9bd22fa26bb28ab0c4a567bdff
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild