[add] xcproof tool sources.. (README to go)