Improve building and installing documentation files

- Build and install info version of ledger documentation instead of the
  texinfo sources

- Install html version of ledger documentation when BUILD_WEB_DOCS is ON

- Install documentation files from --output directory