Merge pull request #718 from whitequark/gate2lut