Generate doc/man/isympy.1 from the isympy.xml source

unmerged stuff from #7238

@asmeurer, please take a look, especially on the release/* part.