Modified reference for velociraptor

References PACT paper instead of tech report
Modified overview figure

Added blocks to show input programs .
Modified introduction

Changed TameIR to Tame IR