fix cabal documentation geneneration by replacing unicode char by html entity