Consider renaming the pipeline to CRISPIN

[kelly-sovacool]

Credit to @wong-nw for thinking of this!

I'm a fan of this idea since "CRISPIN" sounds closer to "CRISPR" than "CRUISE" does. CRISPIN apparently means shoemaker/cobbler, so we could use 👞 as the emoji. Alternatively, "crisp" can mean cookie so we could use 🍪.

@kopardev what do you think?

[kelly-sovacool]

@wong-nw, Vishal gave us the go-ahead to rename it to CRISPIN!

[kelly-sovacool]

we'll need to search-and-replace throughout this repo. Linux sed commands:

grep -irl cruise . | xargs sed -i 's/CRUISE/CRISPIN/g'
grep -irl cruise . | xargs sed -i 's/cruise/crispin/g'