Support counting strings using regex

[kmyk]

Description / 説明

「文字列 s の部分文字列であって正規言語 L に含まれるものの数」とか「長さ k 未満の文字列 s ∈ Σ˂ᵏ であって正規言語 L に含まれるものの数」とかは全部まとめて処理できる。普通に正規表現の構文解析して DFA に落とすのをやるだけ

• 先に Allow str types #182 が必要
• 正規表現パートの C++ 実装は完全なものをもう持ってる https://github.com/kmyk/tinydfa
• 例題: https://judge.kimiyuki.net/problem/count-subsequnce-regex

Motivation / 動機

ないよりはあった方がいいかなって

• 他の最適化と組み合わさっていい感じになるということが見込めないかなりピンポイントな最適化なので、後回しでいい気がする