move to fancyvrb

See #21, release log:

• 53ecef5 by @yegor256: #21 minted removed
• 3e193d3 by @yegor256: #21 listings
• afbf8d1 by @yegor256: #21 minted replaced with fancy...
• 022844c by @yegor256: #21 year up
• d2b95b6 by @rultor: Merge branch '__rultor'
• 8ef3ea3 by @yegor256: #31 rultor 22
• c59388d by @renovate[bot]: Update actions/checkout action...
• 015cebf by @yegor256: Merge pull request #28 from ye...
• 600fb15 by @yegor256: Merge pull request #29 from ye...
• e36575f by @renovate[bot]: Update JamesIves/github-pages-...
• 7f80e1c by @yegor256: Merge pull request #30 from ye...
• 74ee553 by @yegor256: #31 typo
• bdd46a1 by @yegor256: #31 upquote
• 0abe138 by @renovate[bot]: Update teatimeguest/setup-texl...
• 41b244a by @yegor256: publish with versions
• 684a046 by @renovate[bot]: Update actions/setup-python ac...
• 560a5dc by @yegor256: no easy_install
• fffe0e3 by @yegor256: upgrade
• 1f3d71e by @yegor256: deps
• 6c6ff6d by @yegor256: Merge pull request #24 from ye...
• and 9 more...

Released by Rultor 2.0-SNAPSHOT, see build log