PFL manual: add an installation section
PFL manual: add a further information section
PFL manual: improve introduction section
Allow the use of solver as an alias of ground_solver
Remove some alias for hve
Beautify setHorusFlag
Improve hcli usage string
PFL manual: small improvements
PFL manual: several improvements