gator: Remove it entirely

It's being picked up during builds and dirtying up the source tree.
We don't use this, so remove it