re-establish HyperDoc content from .htex sources

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1586 b0c55286-4f34-0410-a049-a1e7e93b0762
make dist and use pregenerated files

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1587 b0c55286-4f34-0410-a049-a1e7e93b0762