DrIFT: don't make this tool available with ghc <= 7.2.2

The build won't succeed.