Initial push of DRAT from my local repo. Will need massive cleanup I'm sure.
Merge branch 'master' of https://github.com/chrismattmann/drat