Add DRAT output
Merge pull request #2 from lewismc/master

Add DRAT output