高速アダマール変換の追加

[rogi52]

高速アダマール変換、 bitwise XOR convolution を実装しました。 よろしくお願いします。

懸念点

• clang-format の設定をしたのでこれで通ると嬉しいですが...

メモ

• AND, OR convolution も同じ形で計算できるので実装しましたが、必要ないかもしれません。
• OR convolution は AND convolution の verify を利用しました。

[rogi52]

レビューありがとうございます！ 全て反映したので、大丈夫そうであれば Merge をお願いします。