Added obfuscation tools, while_analyser, and another abstract interpretation example.