This PR moves over to using universal-ctags. This seems to be a successor to exuberant-ctags that is available on Ubuntu, home brew, and Redhat-based system.
Things left to do:
[x] Update configure so that it isn't explicitly tied to exuberant-ctags
[x] Update the documentation
[ ] Update flake.nix
[ ] Update the Dockerfiles (also see #215)
[x] Make sure the tutorial still runs on Google Colab
Fixes #246 at some level.
This PR moves over to using universal-ctags. This seems to be a successor to exuberant-ctags that is available on Ubuntu, home brew, and Redhat-based system.
Things left to do:
configure
so that it isn't explicitly tied to exuberant-ctagsflake.nix