Python 3 Support

[tc-0]

Hi,
I tried to implement python3 support for your plugin as my vim has no python2. You can have a look at https://github.com/tc-0/agda-vim. I do not want to open a pull request as the code is only tested on a single example (a case distinction with unicode symbols) and I actually have no clue of agda whatsoever but wanted to learn a bit of it with your plugin.

I hope you can do something useful with the code.

[stephen-smith]

Any improvement here? In 2023, I don't think depending on Python 2 is acceptable.

Should I just switch to the fork, or might this issue be addresses in the main repo sometime in the next 5 years?