Use git versions instead of version.txt

[ryanmrichard]

This needs to happen all over the project. Basically we now have GitHub actions which will automatically tag master after a PR. We should be using the version information from those tags in, for example, the main CMakeLists.txt and in the config.py for the documentation.