add isabat script

This just calls the isabelle2nix util and pipes its output directly into
bat, resulting in a somewhat usable cli tool for .thy files.

0 files changed, 0 insertions, 0 deletions